-#ifndef MATH_MATH_MLSTREAM
-#define MATH_MATH_MLSTREAM
+// -*- C++ -*-
+/**
+ * \file math_mathmlstream.h
+ * This file is part of LyX, the document processor.
+ * Licence details can be found in the file COPYING.
+ *
+ * \author André Pönitz
+ *
+ * Full author contact details are available in file CREDITS.
+ */
+
+#ifndef MATH_MATHMLSTREAM_H
+#define MATH_MATHMLSTREAM_H
+
+
+// Please keep all four streams in one file until the interface has
+// settled.
+
+
+#include "metricsinfo.h"
#include <iosfwd>
+class MathArray;
+class MathInset;
+class MathAtom;
-struct MathMLStream {
+//
+// LaTeX/LyX
+//
+
+class WriteStream {
+public:
///
- explicit MathMLStream(std::ostream & os) : os_(os) {}
+ WriteStream(std::ostream & os, bool fragile, bool latex);
///
- std::ostream & os_;
+ explicit WriteStream(std::ostream & os);
+ ///
+ ~WriteStream();
+ ///
+ int line() const { return line_; }
+ ///
+ bool fragile() const { return fragile_; }
///
- MathMLStream & operator<<(MathInset const *);
+ bool latex() const { return latex_; }
///
- MathMLStream & operator<<(MathArray const &);
+ std::ostream & os() { return os_; }
///
- MathMLStream & operator<<(char const *);
+ bool & firstitem() { return firstitem_; }
///
- MathMLStream & operator<<(char);
+ void addlines(unsigned int);
+ /// writes space if next thing is isalpha()
+ void pendingSpace(bool how);
+ /// writes space if next thing is isalpha()
+ bool pendingSpace() const { return pendingspace_; }
+private:
+ ///
+ std::ostream & os_;
+ /// do we have to write \\protect sometimes
+ bool fragile_;
+ /// are we at the beginning of an MathArray?
+ bool firstitem_;
+ /// are we writing to .tex?
+ int latex_;
+ /// do we have a space pending?
+ bool pendingspace_;
+ ///
+ int line_;
};
+///
+WriteStream & operator<<(WriteStream &, MathAtom const &);
+///
+WriteStream & operator<<(WriteStream &, MathArray const &);
+///
+WriteStream & operator<<(WriteStream &, char const *);
+///
+WriteStream & operator<<(WriteStream &, char);
+///
+WriteStream & operator<<(WriteStream &, int);
+///
+WriteStream & operator<<(WriteStream &, unsigned int);
+
+
-struct MapleStream {
+//
+// MathML
+//
+
+struct MTag {
///
- explicit MapleStream(std::ostream & os) : os_(os) {}
+ MTag(char const * const tag) : tag_(tag) {}
+ ///
+ char const * const tag_;
+};
+
+struct ETag {
+ ///
+ ETag(char const * const tag) : tag_(tag) {}
+ ///
+ char const * const tag_;
+};
+
+class MathMLStream {
+public:
+ ///
+ explicit MathMLStream(std::ostream & os);
+ ///
+ void cr();
+ ///
+ std::ostream & os() { return os_; }
+ ///
+ int line() const { return line_; }
+ ///
+ int & tab() { return tab_; }
+ ///
+ friend MathMLStream & operator<<(MathMLStream &, char const *);
+private:
///
std::ostream & os_;
///
- MapleStream & operator<<(MathInset const *);
+ int tab_;
+ ///
+ int line_;
+ ///
+ char lastchar_;
+};
+
+///
+MathMLStream & operator<<(MathMLStream &, MathAtom const &);
+///
+MathMLStream & operator<<(MathMLStream &, MathArray const &);
+///
+MathMLStream & operator<<(MathMLStream &, char const *);
+///
+MathMLStream & operator<<(MathMLStream &, char);
+///
+MathMLStream & operator<<(MathMLStream &, MTag const &);
+///
+MathMLStream & operator<<(MathMLStream &, ETag const &);
+
+
+
+//
+// Debugging
+//
+
+class NormalStream {
+public:
+ ///
+ explicit NormalStream(std::ostream & os) : os_(os) {}
///
- MapleStream & operator<<(MathArray const &);
+ std::ostream & os() { return os_; }
+private:
///
- MapleStream & operator<<(char const *);
+ std::ostream & os_;
+};
+
+///
+NormalStream & operator<<(NormalStream &, MathAtom const &);
+///
+NormalStream & operator<<(NormalStream &, MathArray const &);
+///
+NormalStream & operator<<(NormalStream &, char const *);
+///
+NormalStream & operator<<(NormalStream &, char);
+///
+NormalStream & operator<<(NormalStream &, int);
+
+
+//
+// Maple
+//
+
+
+class MapleStream {
+public:
+ ///
+ explicit MapleStream(std::ostream & os) : os_(os) {}
+ ///
+ std::ostream & os() { return os_; }
+private:
///
- MapleStream & operator<<(char);
+ std::ostream & os_;
};
-struct OctaveStream {
+///
+MapleStream & operator<<(MapleStream &, MathAtom const &);
+///
+MapleStream & operator<<(MapleStream &, MathArray const &);
+///
+MapleStream & operator<<(MapleStream &, char const *);
+///
+MapleStream & operator<<(MapleStream &, char);
+///
+MapleStream & operator<<(MapleStream &, int);
+
+
+//
+// Maxima
+//
+
+
+class MaximaStream {
+public:
///
- explicit OctaveStream(std::ostream & os) : os_(os) {}
+ explicit MaximaStream(std::ostream & os) : os_(os) {}
+ ///
+ std::ostream & os() { return os_; }
+private:
///
std::ostream & os_;
+};
+
+
+///
+MaximaStream & operator<<(MaximaStream &, MathAtom const &);
+///
+MaximaStream & operator<<(MaximaStream &, MathArray const &);
+///
+MaximaStream & operator<<(MaximaStream &, char const *);
+///
+MaximaStream & operator<<(MaximaStream &, char);
+///
+MaximaStream & operator<<(MaximaStream &, int);
+
+
+//
+// Mathematica
+//
+
+
+class MathematicaStream {
+public:
///
- OctaveStream & operator<<(MathInset const *);
+ explicit MathematicaStream(std::ostream & os) : os_(os) {}
///
- OctaveStream & operator<<(MathArray const &);
+ std::ostream & os() { return os_; }
+private:
///
- OctaveStream & operator<<(char const *);
+ std::ostream & os_;
+};
+
+
+///
+MathematicaStream & operator<<(MathematicaStream &, MathAtom const &);
+///
+MathematicaStream & operator<<(MathematicaStream &, MathArray const &);
+///
+MathematicaStream & operator<<(MathematicaStream &, char const *);
+///
+MathematicaStream & operator<<(MathematicaStream &, char);
+///
+MathematicaStream & operator<<(MathematicaStream &, int);
+
+
+//
+// Octave
+//
+
+
+class OctaveStream {
+public:
+ ///
+ explicit OctaveStream(std::ostream & os) : os_(os) {}
+ ///
+ std::ostream & os() { return os_; }
+private:
///
- OctaveStream & operator<<(char);
+ std::ostream & os_;
};
+///
+OctaveStream & operator<<(OctaveStream &, MathAtom const &);
+///
+OctaveStream & operator<<(OctaveStream &, MathArray const &);
+///
+OctaveStream & operator<<(OctaveStream &, char const *);
+///
+OctaveStream & operator<<(OctaveStream &, char);
+///
+OctaveStream & operator<<(OctaveStream &, int);
+
+
+
#endif