]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/formula.C
fix compilation error
[lyx.git] / src / mathed / formula.C
index c56e48fa4efe4bc5a7b0ee9f3bee69d09e607a9e..a6c0b602018d1942208792fcdc2a17c6e4868572 100644 (file)
 #include "BufferView.h"
 #include "gettext.h"
 #include "debug.h"
-#include "frontends/Alert.h"
 #include "support/LOstream.h"
 #include "support/LAssert.h"
+#include "support/lyxlib.h"
 #include "support/systemcall.h"
-#include "support/filetools.h" // LibFileSearch
+#include "support/filetools.h"
+#include "frontends/Alert.h"
 #include "frontends/LyXView.h"
 #include "frontends/Painter.h"
+#include "graphics/GraphicsImage.h"
 #include "lyxrc.h"
 #include "math_hullinset.h"
 #include "math_support.h"
 #include "math_mathmlstream.h"
 #include "textpainter.h"
-#include "preview.h"
+
+#include <fstream>
+#include <boost/bind.hpp>
+#include <boost/utility.hpp>
 
 using std::ostream;
 using std::ifstream;
@@ -53,225 +58,30 @@ using std::vector;
 using std::getline;
 
 
-namespace {
-
-       string captureOutput(string const & cmd, string const & data)
-       {
-               string outfile = lyx::tempName(string(), "mathextern");
-               string full =  "echo '" + data + "' | (" + cmd + ") > " + outfile;
-               lyxerr << "calling: " << full << "\n";
-               Systemcall dummy;
-               dummy.startscript(Systemcall::Wait, full);
-               string out = GetFileContents(outfile);
-               lyx::unlink(outfile);
-               lyxerr << "result: '" << out << "'\n";
-               return out;
-       }
-
-
-       MathArray pipeThroughMaple(string const & extra, MathArray const & ar)
-       {
-               string header = "readlib(latex):\n";
-
-               // remove the \\it for variable names
-               //"#`latex/csname_font` := `\\it `:"
-               header +=
-                       "`latex/csname_font` := ``:\n";
-
-               // export matrices in (...) instead of [...]
-               header +=
-                       "`latex/latex/matrix` := "
-                               "subs(`[`=`(`, `]`=`)`,"
-                                       "eval(`latex/latex/matrix`)):\n";
-
-               // replace \\cdots with proper '*'
-               header +=
-                       "`latex/latex/*` := "
-                               "subs(`\\,`=`\\cdot `,"
-                                       "eval(`latex/latex/*`)):\n";
-
-               // remove spurious \\noalign{\\medskip} in matrix output
-               header +=
-                       "`latex/latex/matrix`:= "
-                               "subs(`\\\\\\\\\\\\noalign{\\\\medskip}` = `\\\\\\\\`,"
-                                       "eval(`latex/latex/matrix`)):\n";
-
-               //"#`latex/latex/symbol` "
-               //      " := subs((\\'_\\' = \\'`\\_`\\',eval(`latex/latex/symbol`)): ";
-
-               string trailer = "quit;";
-               ostringstream os;
-               MapleStream ms(os);
-               ms << ar;
-               string expr = os.str().c_str();
-               lyxerr << "ar: '" << ar << "'\n";
-
-               for (int i = 0; i < 100; ++i) { // at most 100 attempts
-                       // try to fix missing '*' the hard way by using mint
-                       //
-                       // ... > echo "1A;" | mint -i 1 -S -s -q
-                       // on line     1: 1A;
-                       //                 ^ syntax error -
-                       //                   Probably missing an operator such as * p
-                       //
-                       lyxerr << "checking expr: '" << expr << "'\n";
-                       string out = captureOutput("mint -i 1 -S -s -q -q", expr + ";");
-                       if (out.empty())
-                               break; // expression syntax is ok
-                       istringstream is(out.c_str());
-                       string line;
-                       getline(is, line);
-                       if (line.find("on line") != 0)
-                               break; // error message not identified
-                       getline(is, line);
-                       string::size_type pos = line.find('^');
-                       if (pos == string::npos || pos < 15)
-                               break; // caret position not found
-                       pos -= 15; // skip the "on line ..." part
-                       if (expr[pos] == '*' || (pos > 0 && expr[pos - 1] == '*'))
-                               break; // two '*' in a row are definitely bad
-                       expr.insert(pos,  "*");
-               }
-
-               string full = "latex(" +  extra + '(' + expr + "));";
-               string out = captureOutput("maple -q", header + full + trailer);
-
-               // change \_ into _
-
-               //
-               MathArray res;
-               mathed_parse_cell(res, out);
-               return res;
-       }
-
-
-       MathArray pipeThroughOctave(string const &, MathArray const & ar)
-       {
-               ostringstream os;
-               OctaveStream vs(os);
-               vs << ar;
-               string expr = os.str().c_str();
-               string out;
-
-               for (int i = 0; i < 100; ++i) { // at most 100 attempts
-                       //
-                       // try to fix missing '*' the hard way
-                       // parse error:
-                       // >>> ([[1 2 3 ];[2 3 1 ];[3 1 2 ]])([[1 2 3 ];[2 3 1 ];[3 1 2 ]])
-                       //                                   ^
-                       //
-                       lyxerr << "checking expr: '" << expr << "'\n";
-                       out = captureOutput("octave -q 2>&1", expr);
-                       lyxerr << "checking out: '" << out << "'\n";
-
-                       // leave loop if expression syntax is probably ok
-                       if (out.find("parse error:") == string::npos)
-                               break;
-
-                       // search line with single caret
-                       istringstream is(out.c_str());
-                       string line;
-                       while (is) {
-                               getline(is, line);
-                               lyxerr << "skipping line: '" << line << "'\n";
-                               if (line.find(">>> ") != string::npos)
-                                       break;
-                       }
-
-                       // found line with error, next line is the one with caret
-                       getline(is, line);
-                       string::size_type pos = line.find('^');
-                       lyxerr << "caret line: '" << line << "'\n";
-                       lyxerr << "found caret at pos: '" << pos << "'\n";
-                       if (pos == string::npos || pos < 4)
-                               break; // caret position not found
-                       pos -= 4; // skip the ">>> " part
-                       if (expr[pos] == '*')
-                               break; // two '*' in a row are definitely bad
-                       expr.insert(pos,  "*");
-               }
-
-               if (out.size() < 6)
-                       return MathArray();
-
-               // remove 'ans = '
-               out = out.substr(6);
-
-               // parse output as matrix or single number
-               MathAtom at(new MathArrayInset("array", out));
-               MathArrayInset const * mat = at.nucleus()->asArrayInset();
-               MathArray res;
-               if (mat->ncols() == 1 && mat->nrows() == 1)
-                       res.push_back(mat->cell(0));
-               else {
-                       res.push_back(MathAtom(new MathDelimInset("(", ")")));
-                       res.back()->cell(0).push_back(at);
-               }
-               return res;
-       }
-
-
-       MathArray pipeThroughExtern(string const & lang, string const & extra,
-               MathArray const & ar)
-       {
-               if (lang == "octave")
-                       return pipeThroughOctave(extra, ar);
-
-               if (lang == "maple")
-                       return pipeThroughMaple(extra, ar);
-
-               // create normalized expression
-               ostringstream os;
-               NormalStream ns(os);
-               os << "[" << extra << ' ';
-               ns << ar;
-               os << "]";
-               string data = os.str().c_str();
-
-               // search external script
-               string file = LibFileSearch("mathed", "extern_" + lang);
-               if (file.empty()) {
-                       lyxerr << "converter to '" << lang << "' not found\n";
-                       return MathArray();
-               }
-
-               // run external sript
-               string out = captureOutput(file, data);
-               MathArray res;
-               mathed_parse_cell(res, out);
-               return res;
-       }
-
-}
-
 
 InsetFormula::InsetFormula()
-       : par_(MathAtom(new MathHullInset))
+       : par_(MathAtom(new MathHullInset)), loader_(0)
 {}
 
 
-InsetFormula::InsetFormula(MathInsetTypes t)
-       : par_(MathAtom(new MathHullInset(t)))
-{}
-
-
-InsetFormula::InsetFormula(string const & s)
+InsetFormula::InsetFormula(BufferView * bv)
+       : par_(MathAtom(new MathHullInset)), loader_(0)
 {
-       if (s.size()) {
-               bool res = mathed_parse_normal(par_, s);
+       view_ = bv;
+}
 
-               if (!res)
-                       res = mathed_parse_normal(par_, "$" + s + "$");
 
-               if (!res) {
-                       lyxerr << "cannot interpret '" << s << "' as math\n";
-                       par_ = MathAtom(new MathHullInset(LM_OT_SIMPLE));
-               }
-       }
-       metrics();
+InsetFormula::InsetFormula(string const & data)
+       : par_(MathAtom(new MathHullInset)), loader_(0)
+{
+       if (!data.size())
+               return;
+       if (!mathed_parse_normal(par_, data)) 
+               lyxerr << "cannot interpret '" << data << "' as math\n";
 }
 
 
+
 Inset * InsetFormula::clone(Buffer const &, bool) const
 {
        return new InsetFormula(*this);
@@ -294,6 +104,7 @@ int InsetFormula::latex(Buffer const *, ostream & os, bool fragile, bool) const
 }
 
 
+
 int InsetFormula::ascii(Buffer const *, ostream & os, int) const
 {
 #if 0
@@ -315,18 +126,23 @@ int InsetFormula::ascii(Buffer const *, ostream & os, int) const
 
 int InsetFormula::linuxdoc(Buffer const * buf, ostream & os) const
 {
-       return docbook(buf, os);
+       return docbook(buf, os, false);
 }
 
 
-int InsetFormula::docbook(Buffer const * buf, ostream & os) const
+int InsetFormula::docbook(Buffer const * buf, ostream & os, bool) const
 {
        MathMLStream ms(os);
-       ms << MTag("equation") << MTag("alt");
+       ms << MTag("equation");
+       ms <<   MTag("alt");
+       ms <<    "<[CDATA[";
        int res = ascii(buf, ms.os(), 0);
-       ms << ETag("alt") << MTag("math");
-       ms << par_.nucleus();
-       ms << ETag("math") << ETag("equation");
+       ms <<    "]]>";
+       ms <<   ETag("alt");
+       ms <<   MTag("math");
+       ms <<    par_.nucleus();
+       ms <<   ETag("math");
+       ms << ETag("equation");
        return ms.line() + res;
 }
 
@@ -335,6 +151,7 @@ void InsetFormula::read(Buffer const *, LyXLex & lex)
 {
        mathed_parse_normal(par_, lex);
        metrics();
+       updatePreview();
 }
 
 
@@ -348,40 +165,36 @@ void InsetFormula::read(Buffer const *, LyXLex & lex)
 void InsetFormula::draw(BufferView * bv, LyXFont const & font,
                        int y, float & xx, bool) const
 {
-       metrics(bv, font);
-
-       int x = int(xx);
-       int w = par_->width();
-       int h = par_->height();
-       int a = par_->ascent();
+       int const x = int(xx);
+       int const w = width(bv, font);
+       int const d = descent(bv, font);
+       int const a = ascent(bv, font);
+       int const h = a + d;
 
        MathPainterInfo pi(bv->painter());
-       pi.base.font  = font;
-       pi.base.font.setColor(LColor::math);
-       pi.base.style = display() ? LM_ST_DISPLAY : LM_ST_TEXT;
-
-       if (lcolor.getX11Name(LColor::mathbg)!=lcolor.getX11Name(LColor::background))
-               pi.pain.fillRectangle(x, y - a, w, h, LColor::mathbg);
-
-       if (mathcursor &&
-                       const_cast<InsetFormulaBase const *>(mathcursor->formula()) == this)
-       {
-               mathcursor->drawSelection(pi);
-               pi.pain.rectangle(x, y - a, w, h, LColor::mathframe);
-       }
 
-       par_->draw(pi, x, y);
+       if (canPreview()) {
+               pi.pain.image(x + 1, y - a + 1, w - 2, h - 2, *(loader_->image()));
+       } else {
+               //pi.base.style = display() ? LM_ST_DISPLAY : LM_ST_TEXT;
+               pi.base.style = LM_ST_TEXT;
+               pi.base.font  = font;
+               pi.base.font.setColor(LColor::math);
+               if (lcolor.getX11Name(LColor::mathbg)
+                           != lcolor.getX11Name(LColor::background))
+                       pi.pain.fillRectangle(x, y - a, w, h, LColor::mathbg);
+
+               if (mathcursor &&
+                               const_cast<InsetFormulaBase const *>(mathcursor->formula()) == this)
+               {
+                       mathcursor->drawSelection(pi);
+                       pi.pain.rectangle(x, y - a, w, h, LColor::mathframe);
+               }
+
+               par_->draw(pi, x, y);
+       }
 
-       // preview stuff
-#if 0
-       ostringstream os;
-       WriteStream wi(os, false, false);
-       par_->write(wi);
-       if (grfx::ImagePtr image = preview(os.str()))
-               pain.image(x, y, w, h, *image);
-#endif
-       
-       xx += par_->width();
+       xx += w;
        xo_ = x;
        yo_ = y;
 
@@ -465,8 +278,10 @@ InsetFormula::localDispatch(BufferView * bv, kb_action action,
                                hull()->numbered(row, true);
                        }
 
+#warning FIXME: please check you really mean repaint() ... is it needed,
+#warning and if so, should it be update() instead ? 
                        if (!new_label.empty() && bv->ChangeRefsIfUnique(old_label, new_label))
-                               bv->redraw();
+                               bv->repaint();
 
                        hull()->label(row, new_label);
 
@@ -480,7 +295,7 @@ InsetFormula::localDispatch(BufferView * bv, kb_action action,
                        int x;
                        int y;
                        mathcursor->getPos(x, y);
-                       hull()->mutate(arg);
+                       mutate(arg);
                        mathcursor->setPos(x, y);
                        mathcursor->normalize();
                        updateLocal(bv, true);
@@ -490,7 +305,8 @@ InsetFormula::localDispatch(BufferView * bv, kb_action action,
                case LFUN_MATH_EXTERN:
                {
                        bv->lockedInsetStoreUndo(Undo::EDIT);
-                       handleExtern(arg);
+                       if (mathcursor)
+                               mathcursor->handleExtern(arg);
                        // re-compute inset dimension
                        metrics(bv);
                        updateLocal(bv, true);
@@ -502,10 +318,10 @@ InsetFormula::localDispatch(BufferView * bv, kb_action action,
                        int x = 0;
                        int y = 0;
                        mathcursor->getPos(x, y);
-                       if (hull()->getType() == LM_OT_SIMPLE)
-                               hull()->mutate(LM_OT_EQUATION);
+                       if (hullType() == "simple")
+                               mutate("equation");
                        else
-                               hull()->mutate(LM_OT_SIMPLE);
+                               mutate("simple");
                        mathcursor->setPos(x, y);
                        mathcursor->normalize();
                        updateLocal(bv, true);
@@ -524,44 +340,15 @@ InsetFormula::localDispatch(BufferView * bv, kb_action action,
                        result = InsetFormulaBase::localDispatch(bv, action, arg);
        }
 
-       return result;
-}
-
+       //updatePreview();
 
-void InsetFormula::handleExtern(const string & arg)
-{
-       // where are we?
-       if (!mathcursor)
-               return;
-
-       string lang;
-       string extra;
-       istringstream iss(arg.c_str());
-       iss >> lang >> extra;
-       if (extra.empty())
-               extra = "noextra";
-
-       bool selected = mathcursor->selection();
-
-       MathArray ar;
-       if (selected) {
-               mathcursor->selGet(ar);
-               //lyxerr << "use selection: " << ar << "\n";
-       } else {
-               mathcursor->last();
-               mathcursor->stripFromLastEqualSign();
-               ar = mathcursor->cursor().cell();
-               mathcursor->insert('=');
-               //lyxerr << "use whole cell: " << ar << "\n";
-       }
-
-       mathcursor->insert(pipeThroughExtern(lang, extra, ar));
+       return result;
 }
 
 
 bool InsetFormula::display() const
 {
-       return hull()->getType() != LM_OT_SIMPLE;
+       return hullType() != "simple" && hullType() != "none";
 }
 
 
@@ -595,30 +382,127 @@ bool InsetFormula::insetAllowed(Inset::Code code) const
 {
        return
                (code == Inset::LABEL_CODE && display())
+               || code == Inset::REF_CODE      
                || code == Inset::ERT_CODE;
 }
 
 
 int InsetFormula::ascent(BufferView *, LyXFont const &) const
 {
-       return par_->ascent() + 1;
+       const int a = par_->ascent();
+       if (!canPreview())
+               return a + 1;
+       return a + 1 - (par_->height() - loader_->image()->getHeight()) / 2;
 }
 
 
 int InsetFormula::descent(BufferView *, LyXFont const &) const
 {
-       return par_->descent() + 1;
+       const int d = par_->descent();
+       if (!canPreview())
+               return d + 1;
+       return d + 1 - (par_->height() - loader_->image()->getHeight()) / 2;
 }
 
 
 int InsetFormula::width(BufferView * bv, LyXFont const & font) const
 {
        metrics(bv, font);
-       return par_->width();
+       return canPreview() ? loader_->image()->getWidth() : par_->width();
 }
 
 
-MathInsetTypes InsetFormula::getType() const
+string InsetFormula::hullType() const
 {
-       return hull()->getType();
+       return hull() ? hull()->getType() : "none";
 }
+
+
+void InsetFormula::mutate(string const & type )
+{
+       if (hull())
+               hull()->mutate(type);
+}
+
+
+//
+// preview stuff
+//
+
+bool InsetFormula::canPreview() const
+{
+       return lyxrc.preview && loader_ && !par_->asNestInset()->editing()
+               && loader_->status() == grfx::Ready;
+}
+
+
+void InsetFormula::statusChanged()
+{
+       lyxerr << "### InsetFormula::statusChanged called!, status: "
+               << loader_->status() << "\n";
+       if (loader_->status() == grfx::Ready) 
+               view()->updateInset(this, false);
+       else if (loader_->status() == grfx::WaitingToLoad)
+               loader_->startLoading();
+}
+
+
+void InsetFormula::updatePreview()
+{
+       // nothing to be done if no preview requested
+       lyxerr << "### updatePreview() called\n";
+       if (!lyxrc.preview)
+               return;
+
+       // get LaTeX 
+       ostringstream ls;
+       WriteStream wi(ls, false, false);
+       par_->write(wi);
+       string const data = ls.str();
+
+       // the preview cache, maps contents to image loaders
+       typedef std::map<string, boost::shared_ptr<grfx::Loader> > cache_type;
+       static cache_type theCache;
+       static int theCounter = 0;
+
+       // set our loader corresponding to our current data
+       cache_type::const_iterator it = theCache.find(data);
+
+       // is this old data?
+       if (it != theCache.end()) {
+               // we have already a loader, connect to it anyway
+               //lyxerr << "### updatePreview(), old loader: " << loader_ << "\n";
+               loader_ = it->second.get();
+               loader_->statusChanged.connect
+                       (boost::bind(&InsetFormula::statusChanged, this));
+               return;
+       }
+
+       // construct new file name
+       static string const dir = OnlyPath(lyx::tempName());
+       ostringstream os;
+       os << dir << theCounter++ << ".lyxpreview";
+       string file = os.str();
+
+       // the real work starts
+       //lyxerr << "### updatePreview(), new file " << file << "\n";
+       std::ofstream of(file.c_str());
+       of << "\\batchmode"
+                << "\\documentclass{article}"
+                << "\\usepackage{amssymb}"
+                << "\\thispagestyle{empty}"
+                << "\\pdfoutput=0"
+                << "\\begin{document}"
+                << data
+                << "\\end{document}\n";
+       of.close();
+
+       // now we are done, start actual loading we will get called back via
+       // InsetFormula::statusChanged() if this is finished
+       theCache[data].reset(new grfx::Loader(file));
+       //lyxerr << "### updatePreview(), new loader: " << loader_ << "\n";
+       loader_ = theCache.find(data)->second.get();
+       loader_->startLoading();
+       loader_->statusChanged.connect(boost::bind(&InsetFormula::statusChanged, this));
+}
+