2003-08-19 13:00:56 +00:00
|
|
|
|
/**
|
2007-04-25 03:01:35 +00:00
|
|
|
|
* \file MathStream.cpp
|
2003-08-19 13:00:56 +00:00
|
|
|
|
* This file is part of LyX, the document processor.
|
|
|
|
|
* Licence details can be found in the file COPYING.
|
|
|
|
|
*
|
|
|
|
|
* \author Andr<EFBFBD> P<EFBFBD>nitz
|
|
|
|
|
*
|
|
|
|
|
* Full author contact details are available in file CREDITS.
|
|
|
|
|
*/
|
2002-09-11 09:14:57 +00:00
|
|
|
|
|
2001-12-03 17:52:48 +00:00
|
|
|
|
#include <config.h>
|
|
|
|
|
|
2007-11-05 23:46:17 +00:00
|
|
|
|
#include "MathStream.h"
|
|
|
|
|
|
2006-10-22 10:15:23 +00:00
|
|
|
|
#include "InsetMath.h"
|
2007-04-26 16:05:57 +00:00
|
|
|
|
#include "MathData.h"
|
2006-10-22 10:15:23 +00:00
|
|
|
|
#include "MathExtern.h"
|
|
|
|
|
|
2007-04-02 15:21:36 +00:00
|
|
|
|
#include "support/textutils.h"
|
2007-11-27 20:51:20 +00:00
|
|
|
|
#include "support/docstring.h"
|
2001-12-03 17:52:48 +00:00
|
|
|
|
|
2007-08-12 08:57:17 +00:00
|
|
|
|
#include <algorithm>
|
2007-11-05 23:46:17 +00:00
|
|
|
|
#include <ostream>
|
|
|
|
|
|
2007-12-12 10:16:00 +00:00
|
|
|
|
using namespace std;
|
2006-10-21 00:16:43 +00:00
|
|
|
|
|
|
|
|
|
namespace lyx {
|
|
|
|
|
|
2003-10-06 15:43:21 +00:00
|
|
|
|
|
2006-10-22 10:15:23 +00:00
|
|
|
|
//////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
NormalStream & operator<<(NormalStream & ns, MathAtom const & at)
|
2001-12-03 17:52:48 +00:00
|
|
|
|
{
|
2006-10-22 10:15:23 +00:00
|
|
|
|
at->normalize(ns);
|
|
|
|
|
return ns;
|
2001-12-03 17:52:48 +00:00
|
|
|
|
}
|
2001-12-05 08:04:20 +00:00
|
|
|
|
|
|
|
|
|
|
2007-04-26 16:05:57 +00:00
|
|
|
|
NormalStream & operator<<(NormalStream & ns, MathData const & ar)
|
2006-10-22 10:15:23 +00:00
|
|
|
|
{
|
|
|
|
|
normalize(ar, ns);
|
|
|
|
|
return ns;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
NormalStream & operator<<(NormalStream & ns, docstring const & s)
|
|
|
|
|
{
|
|
|
|
|
ns.os() << s;
|
|
|
|
|
return ns;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
NormalStream & operator<<(NormalStream & ns, const std::string & s)
|
2001-12-05 08:04:20 +00:00
|
|
|
|
{
|
2006-10-21 00:16:43 +00:00
|
|
|
|
ns.os() << from_utf8(s);
|
2001-12-05 08:04:20 +00:00
|
|
|
|
return ns;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2006-10-22 10:15:23 +00:00
|
|
|
|
NormalStream & operator<<(NormalStream & ns, char const * s)
|
|
|
|
|
{
|
|
|
|
|
ns.os() << s;
|
|
|
|
|
return ns;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
NormalStream & operator<<(NormalStream & ns, char c)
|
|
|
|
|
{
|
|
|
|
|
ns.os() << c;
|
|
|
|
|
return ns;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
NormalStream & operator<<(NormalStream & ns, int i)
|
|
|
|
|
{
|
|
|
|
|
ns.os() << i;
|
|
|
|
|
return ns;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
WriteStream & operator<<(WriteStream & ws, docstring const & s)
|
|
|
|
|
{
|
2006-10-31 20:16:47 +00:00
|
|
|
|
if (ws.pendingSpace() && s.length() > 0) {
|
2007-04-02 15:21:36 +00:00
|
|
|
|
if (isAlphaASCII(s[0]))
|
2006-10-31 20:16:47 +00:00
|
|
|
|
ws.os() << ' ';
|
|
|
|
|
ws.pendingSpace(false);
|
|
|
|
|
}
|
2006-10-22 10:15:23 +00:00
|
|
|
|
ws.os() << s;
|
2006-10-31 20:16:47 +00:00
|
|
|
|
int lf = 0;
|
|
|
|
|
docstring::const_iterator dit = s.begin();
|
|
|
|
|
docstring::const_iterator end = s.end();
|
|
|
|
|
for (; dit != end; ++dit)
|
|
|
|
|
if ((*dit) == '\n')
|
|
|
|
|
++lf;
|
|
|
|
|
ws.addlines(lf);
|
2006-10-22 10:15:23 +00:00
|
|
|
|
return ws;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
WriteStream::WriteStream(odocstream & os, bool fragile, bool latex)
|
|
|
|
|
: os_(os), fragile_(fragile), firstitem_(false), latex_(latex),
|
|
|
|
|
pendingspace_(false), line_(0)
|
|
|
|
|
{}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
WriteStream::WriteStream(odocstream & os)
|
|
|
|
|
: os_(os), fragile_(false), firstitem_(false), latex_(false),
|
|
|
|
|
pendingspace_(false), line_(0)
|
|
|
|
|
{}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
WriteStream::~WriteStream()
|
|
|
|
|
{
|
|
|
|
|
if (pendingspace_)
|
|
|
|
|
os_ << ' ';
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void WriteStream::addlines(unsigned int n)
|
|
|
|
|
{
|
|
|
|
|
line_ += n;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void WriteStream::pendingSpace(bool how)
|
|
|
|
|
{
|
|
|
|
|
pendingspace_ = how;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
WriteStream & operator<<(WriteStream & ws, MathAtom const & at)
|
|
|
|
|
{
|
|
|
|
|
at->write(ws);
|
|
|
|
|
return ws;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2007-04-26 16:05:57 +00:00
|
|
|
|
WriteStream & operator<<(WriteStream & ws, MathData const & ar)
|
2006-10-22 10:15:23 +00:00
|
|
|
|
{
|
|
|
|
|
write(ar, ws);
|
|
|
|
|
return ws;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
WriteStream & operator<<(WriteStream & ws, char const * s)
|
|
|
|
|
{
|
|
|
|
|
if (ws.pendingSpace() && strlen(s) > 0) {
|
2007-04-02 15:21:36 +00:00
|
|
|
|
if (isAlphaASCII(s[0]))
|
2006-10-22 10:15:23 +00:00
|
|
|
|
ws.os() << ' ';
|
|
|
|
|
ws.pendingSpace(false);
|
|
|
|
|
}
|
|
|
|
|
ws.os() << s;
|
2007-08-12 08:57:17 +00:00
|
|
|
|
ws.addlines(int(std::count(s, s + strlen(s), '\n')));
|
2006-10-22 10:15:23 +00:00
|
|
|
|
return ws;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
WriteStream & operator<<(WriteStream & ws, char c)
|
|
|
|
|
{
|
|
|
|
|
if (ws.pendingSpace()) {
|
2007-04-02 15:21:36 +00:00
|
|
|
|
if (isAlphaASCII(c))
|
2006-10-22 10:15:23 +00:00
|
|
|
|
ws.os() << ' ';
|
|
|
|
|
ws.pendingSpace(false);
|
|
|
|
|
}
|
|
|
|
|
ws.os() << c;
|
|
|
|
|
if (c == '\n')
|
|
|
|
|
ws.addlines(1);
|
|
|
|
|
return ws;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
WriteStream & operator<<(WriteStream & ws, int i)
|
|
|
|
|
{
|
|
|
|
|
ws.os() << i;
|
|
|
|
|
return ws;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
WriteStream & operator<<(WriteStream & ws, unsigned int i)
|
|
|
|
|
{
|
|
|
|
|
ws.os() << i;
|
|
|
|
|
return ws;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
//////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MathStream::MathStream(odocstream & os)
|
|
|
|
|
: os_(os), tab_(0), line_(0), lastchar_(0)
|
|
|
|
|
{}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MathStream & operator<<(MathStream & ms, MathAtom const & at)
|
|
|
|
|
{
|
|
|
|
|
at->mathmlize(ms);
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2007-04-26 16:05:57 +00:00
|
|
|
|
MathStream & operator<<(MathStream & ms, MathData const & ar)
|
2001-12-05 08:04:20 +00:00
|
|
|
|
{
|
2006-10-22 10:15:23 +00:00
|
|
|
|
mathmlize(ar, ms);
|
2001-12-05 08:04:20 +00:00
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2006-10-22 10:15:23 +00:00
|
|
|
|
MathStream & operator<<(MathStream & ms, char const * s)
|
|
|
|
|
{
|
|
|
|
|
ms.os() << s;
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MathStream & operator<<(MathStream & ms, char c)
|
|
|
|
|
{
|
|
|
|
|
ms.os() << c;
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MathStream & operator<<(MathStream & ms, MTag const & t)
|
|
|
|
|
{
|
|
|
|
|
++ms.tab();
|
|
|
|
|
ms.cr();
|
2007-11-05 23:46:17 +00:00
|
|
|
|
ms.os() << '<' << from_ascii(t.tag_) << '>';
|
2006-10-22 10:15:23 +00:00
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MathStream & operator<<(MathStream & ms, ETag const & t)
|
|
|
|
|
{
|
|
|
|
|
ms.cr();
|
|
|
|
|
if (ms.tab() > 0)
|
|
|
|
|
--ms.tab();
|
2007-11-05 23:46:17 +00:00
|
|
|
|
ms.os() << "</" << from_ascii(t.tag_) << '>';
|
2006-10-22 10:15:23 +00:00
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void MathStream::cr()
|
|
|
|
|
{
|
|
|
|
|
os() << '\n';
|
|
|
|
|
for (int i = 0; i < tab(); ++i)
|
|
|
|
|
os() << ' ';
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MathStream & operator<<(MathStream & ms, docstring const & s)
|
|
|
|
|
{
|
|
|
|
|
ms.os() << s;
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
//////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MapleStream & operator<<(MapleStream & ms, MathAtom const & at)
|
2002-10-28 17:15:19 +00:00
|
|
|
|
{
|
2006-10-22 10:15:23 +00:00
|
|
|
|
at->maple(ms);
|
2002-10-28 17:15:19 +00:00
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2007-04-26 16:05:57 +00:00
|
|
|
|
MapleStream & operator<<(MapleStream & ms, MathData const & ar)
|
2002-07-01 11:17:14 +00:00
|
|
|
|
{
|
2006-10-22 10:15:23 +00:00
|
|
|
|
maple(ar, ms);
|
2002-07-01 11:17:14 +00:00
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2006-10-22 10:15:23 +00:00
|
|
|
|
MapleStream & operator<<(MapleStream & ms, char const * s)
|
2001-12-05 08:04:20 +00:00
|
|
|
|
{
|
2006-10-22 10:15:23 +00:00
|
|
|
|
ms.os() << s;
|
2001-12-05 08:04:20 +00:00
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2006-10-22 10:15:23 +00:00
|
|
|
|
MapleStream & operator<<(MapleStream & ms, char c)
|
|
|
|
|
{
|
|
|
|
|
ms.os() << c;
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MapleStream & operator<<(MapleStream & ms, int i)
|
|
|
|
|
{
|
|
|
|
|
ms.os() << i;
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MapleStream & operator<<(MapleStream & ms, char_type c)
|
|
|
|
|
{
|
|
|
|
|
ms.os().put(c);
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MapleStream & operator<<(MapleStream & ms, docstring const & s)
|
|
|
|
|
{
|
|
|
|
|
ms.os() << s;
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
//////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MaximaStream & operator<<(MaximaStream & ms, MathAtom const & at)
|
|
|
|
|
{
|
|
|
|
|
at->maxima(ms);
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2007-04-26 16:05:57 +00:00
|
|
|
|
MaximaStream & operator<<(MaximaStream & ms, MathData const & ar)
|
2006-10-22 10:15:23 +00:00
|
|
|
|
{
|
|
|
|
|
maxima(ar, ms);
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MaximaStream & operator<<(MaximaStream & ms, char const * s)
|
|
|
|
|
{
|
|
|
|
|
ms.os() << s;
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MaximaStream & operator<<(MaximaStream & ms, char c)
|
|
|
|
|
{
|
|
|
|
|
ms.os() << c;
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MaximaStream & operator<<(MaximaStream & ms, int i)
|
|
|
|
|
{
|
|
|
|
|
ms.os() << i;
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MaximaStream & operator<<(MaximaStream & ms, docstring const & s)
|
|
|
|
|
{
|
|
|
|
|
ms.os() << s;
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MaximaStream & operator<<(MaximaStream & ms, char_type c)
|
|
|
|
|
{
|
|
|
|
|
ms.os().put(c);
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
//////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MathematicaStream & operator<<(MathematicaStream & ms, MathAtom const & at)
|
|
|
|
|
{
|
|
|
|
|
at->mathematica(ms);
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2007-04-26 16:05:57 +00:00
|
|
|
|
MathematicaStream & operator<<(MathematicaStream & ms, MathData const & ar)
|
2006-10-22 10:15:23 +00:00
|
|
|
|
{
|
|
|
|
|
mathematica(ar, ms);
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MathematicaStream & operator<<(MathematicaStream & ms, char const * s)
|
|
|
|
|
{
|
|
|
|
|
ms.os() << s;
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MathematicaStream & operator<<(MathematicaStream & ms, char c)
|
|
|
|
|
{
|
|
|
|
|
ms.os() << c;
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MathematicaStream & operator<<(MathematicaStream & ms, int i)
|
|
|
|
|
{
|
|
|
|
|
ms.os() << i;
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MathematicaStream & operator<<(MathematicaStream & ms, docstring const & s)
|
|
|
|
|
{
|
|
|
|
|
ms.os() << s;
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MathematicaStream & operator<<(MathematicaStream & ms, char_type c)
|
|
|
|
|
{
|
|
|
|
|
ms.os().put(c);
|
|
|
|
|
return ms;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
//////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
OctaveStream & operator<<(OctaveStream & ns, MathAtom const & at)
|
|
|
|
|
{
|
|
|
|
|
at->octave(ns);
|
|
|
|
|
return ns;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2007-04-26 16:05:57 +00:00
|
|
|
|
OctaveStream & operator<<(OctaveStream & ns, MathData const & ar)
|
2006-10-22 10:15:23 +00:00
|
|
|
|
{
|
|
|
|
|
octave(ar, ns);
|
|
|
|
|
return ns;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
OctaveStream & operator<<(OctaveStream & ns, char const * s)
|
|
|
|
|
{
|
|
|
|
|
ns.os() << s;
|
|
|
|
|
return ns;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
OctaveStream & operator<<(OctaveStream & ns, char c)
|
|
|
|
|
{
|
|
|
|
|
ns.os() << c;
|
|
|
|
|
return ns;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
OctaveStream & operator<<(OctaveStream & ns, int i)
|
|
|
|
|
{
|
|
|
|
|
ns.os() << i;
|
|
|
|
|
return ns;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
OctaveStream & operator<<(OctaveStream & ns, docstring const & s)
|
|
|
|
|
{
|
|
|
|
|
ns.os() << s;
|
|
|
|
|
return ns;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
OctaveStream & operator<<(OctaveStream & ns, char_type c)
|
|
|
|
|
{
|
|
|
|
|
ns.os().put(c);
|
|
|
|
|
return ns;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
OctaveStream & operator<<(OctaveStream & os, std::string const & s)
|
2001-12-05 08:04:20 +00:00
|
|
|
|
{
|
2006-10-21 00:16:43 +00:00
|
|
|
|
os.os() << from_utf8(s);
|
2001-12-05 08:04:20 +00:00
|
|
|
|
return os;
|
|
|
|
|
}
|
2006-10-21 00:16:43 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
} // namespace lyx
|