]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/MathStream.cpp
Remove unneccessary uses of dynamic_cast from the code.
[lyx.git] / src / mathed / MathStream.cpp
index b5fe0c9a85adb38740404d253bb62063d56fd104..b142f7e9c04b2d63632d86f57b78883eaf9d6023 100644 (file)
@@ -3,7 +3,7 @@
  * This file is part of LyX, the document processor.
  * Licence details can be found in the file COPYING.
  *
- * \author André Pönitz
+ * \author André Pönitz
  *
  * Full author contact details are available in file CREDITS.
  */
 
 #include "MathStream.h"
 
-#include "InsetMath.h"
 #include "MathData.h"
 #include "MathExtern.h"
 
 #include "support/textutils.h"
+#include "support/docstring.h"
 
 #include <algorithm>
+#include <cstring>
 #include <ostream>
 
+using namespace std;
 
 namespace lyx {
 
-using std::strlen;
-
 
 //////////////////////////////////////////////////////////////////////
 
@@ -51,7 +51,7 @@ NormalStream & operator<<(NormalStream & ns, docstring const & s)
 }
 
 
-NormalStream & operator<<(NormalStream & ns, const std::string & s)
+NormalStream & operator<<(NormalStream & ns, const string & s)
 {
        ns.os() << from_utf8(s);
        return ns;
@@ -85,9 +85,16 @@ NormalStream & operator<<(NormalStream & ns, int i)
 
 WriteStream & operator<<(WriteStream & ws, docstring const & s)
 {
-       if (ws.pendingSpace() && s.length() > 0) {
+       if (ws.pendingBrace()) {
+               ws.os() << '}';
+               ws.pendingBrace(false);
+               ws.pendingSpace(false);
+               ws.textMode(true);
+       } else if (ws.pendingSpace() && s.length() > 0) {
                if (isAlphaASCII(s[0]))
                        ws.os() << ' ';
+               else if (s[0] == ' ' && ws.textMode())
+                       ws.os() << '\\';
                ws.pendingSpace(false);
        }
        ws.os() << s;
@@ -102,21 +109,26 @@ WriteStream & operator<<(WriteStream & ws, docstring const & s)
 }
 
 
-WriteStream::WriteStream(odocstream & os, bool fragile, bool latex)
+WriteStream::WriteStream(odocstream & os, bool fragile, bool latex, OutputType output,
+                       Encoding const * encoding)
        : os_(os), fragile_(fragile), firstitem_(false), latex_(latex),
-         pendingspace_(false), line_(0)
+         output_(output), pendingspace_(false), pendingbrace_(false),
+         textmode_(false), locked_(0), ascii_(0), line_(0), encoding_(encoding)
 {}
 
 
 WriteStream::WriteStream(odocstream & os)
        : os_(os), fragile_(false), firstitem_(false), latex_(false),
-         pendingspace_(false), line_(0)
+         output_(wsDefault), pendingspace_(false), pendingbrace_(false),
+         textmode_(false), locked_(0), ascii_(0), line_(0), encoding_(0)
 {}
 
 
 WriteStream::~WriteStream()
 {
-       if (pendingspace_)
+       if (pendingbrace_)
+               os_ << '}';
+       else if (pendingspace_)
                os_ << ' ';
 }
 
@@ -133,6 +145,30 @@ void WriteStream::pendingSpace(bool how)
 }
 
 
+void WriteStream::pendingBrace(bool brace)
+{
+       pendingbrace_ = brace;
+}
+
+
+void WriteStream::textMode(bool textmode)
+{
+       textmode_ = textmode;
+}
+
+
+void WriteStream::lockedMode(bool locked)
+{
+       locked_ = locked;
+}
+
+
+void WriteStream::asciiOnly(bool ascii)
+{
+       ascii_ = ascii;
+}
+
+
 WriteStream & operator<<(WriteStream & ws, MathAtom const & at)
 {
        at->write(ws);
@@ -149,22 +185,36 @@ WriteStream & operator<<(WriteStream & ws, MathData const & ar)
 
 WriteStream & operator<<(WriteStream & ws, char const * s)
 {
-       if (ws.pendingSpace() && strlen(s) > 0) {
+       if (ws.pendingBrace()) {
+               ws.os() << '}';
+               ws.pendingBrace(false);
+               ws.pendingSpace(false);
+               ws.textMode(true);
+       } else if (ws.pendingSpace() && strlen(s) > 0) {
                if (isAlphaASCII(s[0]))
                        ws.os() << ' ';
+               else if (s[0] == ' ' && ws.textMode())
+                       ws.os() << '\\';
                ws.pendingSpace(false);
        }
        ws.os() << s;
-       ws.addlines(int(std::count(s, s + strlen(s), '\n')));
+       ws.addlines(int(count(s, s + strlen(s), '\n')));
        return ws;
 }
 
 
 WriteStream & operator<<(WriteStream & ws, char c)
 {
-       if (ws.pendingSpace()) {
+       if (ws.pendingBrace()) {
+               ws.os() << '}';
+               ws.pendingBrace(false);
+               ws.pendingSpace(false);
+               ws.textMode(true);
+       } else if (ws.pendingSpace()) {
                if (isAlphaASCII(c))
                        ws.os() << ' ';
+               else if (c == ' ' && ws.textMode())
+                       ws.os() << '\\';
                ws.pendingSpace(false);
        }
        ws.os() << c;
@@ -176,6 +226,11 @@ WriteStream & operator<<(WriteStream & ws, char c)
 
 WriteStream & operator<<(WriteStream & ws, int i)
 {
+       if (ws.pendingBrace()) {
+               ws.os() << '}';
+               ws.pendingBrace(false);
+               ws.textMode(true);
+       }
        ws.os() << i;
        return ws;
 }
@@ -183,6 +238,11 @@ WriteStream & operator<<(WriteStream & ws, int i)
 
 WriteStream & operator<<(WriteStream & ws, unsigned int i)
 {
+       if (ws.pendingBrace()) {
+               ws.os() << '}';
+               ws.pendingBrace(false);
+               ws.textMode(true);
+       }
        ws.os() << i;
        return ws;
 }
@@ -192,10 +252,36 @@ WriteStream & operator<<(WriteStream & ws, unsigned int i)
 
 
 MathStream::MathStream(odocstream & os)
-       : os_(os), tab_(0), line_(0), lastchar_(0)
+       : os_(os), tab_(0), line_(0), lastchar_(0), in_text_(false)
 {}
 
 
+void MathStream::cr()
+{
+       os() << '\n';
+       for (int i = 0; i < tab(); ++i)
+               os() << ' ';
+}
+
+
+void MathStream::defer(docstring const & s)
+{
+       deferred_ << s;
+}
+
+
+void MathStream::defer(string const & s)
+{
+       deferred_ << from_utf8(s);
+}
+
+
+docstring MathStream::deferred() const
+{ 
+       return deferred_.str();
+}
+
+
 MathStream & operator<<(MathStream & ms, MathAtom const & at)
 {
        at->mathmlize(ms);
@@ -224,11 +310,21 @@ MathStream & operator<<(MathStream & ms, char c)
 }
 
 
+MathStream & operator<<(MathStream & ms, char_type c)
+{
+       ms.os().put(c);
+       return ms;
+}
+
+
 MathStream & operator<<(MathStream & ms, MTag const & t)
 {
        ++ms.tab();
        ms.cr();
-       ms.os() << '<' << from_ascii(t.tag_) << '>';
+       ms.os() << '<' << from_ascii(t.tag_);
+       if (!t.attr_.empty())
+               ms.os() << " " << from_ascii(t.attr_);
+       ms << '>';
        return ms;
 }
 
@@ -243,20 +339,197 @@ MathStream & operator<<(MathStream & ms, ETag const & t)
 }
 
 
-void MathStream::cr()
+MathStream & operator<<(MathStream & ms, docstring const & s)
 {
-       os() << '\n';
-       for (int i = 0; i < tab(); ++i)
-               os() << ' ';
+       ms.os() << s;
+       return ms;
 }
 
 
-MathStream & operator<<(MathStream & ms, docstring const & s)
+//////////////////////////////////////////////////////////////////////
+
+
+HtmlStream::HtmlStream(odocstream & os)
+       : os_(os), tab_(0), line_(0), lastchar_(0), in_text_(false)
+{}
+
+
+void HtmlStream::defer(docstring const & s)
+{
+       deferred_ << s;
+}
+
+
+void HtmlStream::defer(string const & s)
+{
+       deferred_ << from_utf8(s);
+}
+
+
+docstring HtmlStream::deferred() const
+{ 
+       return deferred_.str();
+}
+
+
+HtmlStream & operator<<(HtmlStream & ms, MathAtom const & at)
+{
+       at->htmlize(ms);
+       return ms;
+}
+
+
+HtmlStream & operator<<(HtmlStream & ms, MathData const & ar)
+{
+       htmlize(ar, ms);
+       return ms;
+}
+
+
+HtmlStream & operator<<(HtmlStream & ms, char const * s)
+{
+       ms.os() << s;
+       return ms;
+}
+
+
+HtmlStream & operator<<(HtmlStream & ms, char c)
+{
+       ms.os() << c;
+       return ms;
+}
+
+
+HtmlStream & operator<<(HtmlStream & ms, char_type c)
+{
+       ms.os().put(c);
+       return ms;
+}
+
+
+HtmlStream & operator<<(HtmlStream & ms, MTag const & t)
+{
+       ms.os() << '<' << from_ascii(t.tag_);
+       if (!t.attr_.empty())
+               ms.os() << " " << from_ascii(t.attr_);
+       ms << '>';
+       return ms;
+}
+
+
+HtmlStream & operator<<(HtmlStream & ms, ETag const & t)
+{
+       ms.os() << "</" << from_ascii(t.tag_) << '>';
+       return ms;
+}
+
+
+HtmlStream & operator<<(HtmlStream & ms, docstring const & s)
 {
        ms.os() << s;
        return ms;
 }
 
+
+//////////////////////////////////////////////////////////////////////
+
+
+SetMode::SetMode(MathStream & os, bool text)
+       : os_(os), opened_(false)
+{
+       init(text, "");
+}
+
+
+SetMode::SetMode(MathStream & os, bool text, string const & attrs)
+       : os_(os), opened_(false)
+{
+       init(text, attrs);
+}
+
+
+void SetMode::init(bool text, string const & attrs)
+{
+       was_text_ = os_.inText();
+       if (was_text_)
+               os_ << "</mtext>";
+       if (text) {
+               os_.setTextMode();
+               os_ << "<mtext";
+               if (!attrs.empty())
+                       os_ << " " << from_utf8(attrs);
+               os_ << ">";
+               opened_ = true;
+       } else {
+               if (!attrs.empty()) {
+                       os_ << "<mstyle " << from_utf8(attrs) << ">";
+                       opened_ = true;
+               }
+               os_.setMathMode();
+       }
+}
+
+
+SetMode::~SetMode()
+{
+       if (opened_) {
+               if (os_.inText())
+                       os_ << "</mtext>";
+               else
+                       os_ << "</mstyle>";
+       }
+       if (was_text_) {
+               os_.setTextMode();
+               os_ << "<mtext>";
+       } else {
+               os_.setMathMode();
+       }
+}
+
+
+//////////////////////////////////////////////////////////////////////
+
+
+SetHTMLMode::SetHTMLMode(HtmlStream & os, bool text)
+       : os_(os), opened_(false)
+{
+       init(text, "");
+}
+
+
+SetHTMLMode::SetHTMLMode(HtmlStream & os, bool text, string attrs)
+       : os_(os), opened_(true)
+{
+       init(text, attrs);
+}
+
+
+void SetHTMLMode::init(bool text, string const & attrs)
+{
+       was_text_ = os_.inText();
+       if (text) {
+               os_.setTextMode();
+               if (attrs.empty())
+                       os_ << MTag("span");
+               else
+                       os_ << MTag("span", attrs);
+               opened_ = true;
+       } else
+               os_.setMathMode();
+}
+
+
+SetHTMLMode::~SetHTMLMode()
+{
+       if (opened_)
+               os_ << ETag("span");
+       if (was_text_)
+               os_.setTextMode();
+       else
+               os_.setMathMode();
+}
+
+
 //////////////////////////////////////////////////////////////////////
 
 
@@ -465,7 +738,7 @@ OctaveStream & operator<<(OctaveStream & ns, char_type c)
 }
 
 
-OctaveStream & operator<<(OctaveStream & os, std::string const & s)
+OctaveStream & operator<<(OctaveStream & os, string const & s)
 {
        os.os() << from_utf8(s);
        return os;