X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Fmathed%2Fmath_charinset.h;h=76a1feab001a61fb5476971bf6ae88a0504ad211;hb=12ac7f339e14c4f76a24f45a21c0697303099145;hp=718faab5b5c030a97f640015f6329e33aa3e08c0;hpb=c325dd2bd598a360334a3eb1ea57322baf05a2b6;p=lyx.git diff --git a/src/mathed/math_charinset.h b/src/mathed/math_charinset.h index 718faab5b5..76a1feab00 100644 --- a/src/mathed/math_charinset.h +++ b/src/mathed/math_charinset.h @@ -1,42 +1,55 @@ // -*- C++ -*- +/** + * \file math_charinset.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_CHARINSET_H #define MATH_CHARINSET_H #include "math_inset.h" -#ifdef __GNUG__ -#pragma interface -#endif - -/** The base character inset. - \author André Pönitz - */ +/// The base character inset. class MathCharInset : public MathInset { public: /// - MathCharInset(char c, MathTextCodes t); + explicit MathCharInset(char c); /// - MathInset * clone() const; + virtual std::auto_ptr clone() const; /// - void draw(Painter &, int x, int baseline); + void metrics(MetricsInfo & mi, Dimension & dim) const; /// - void write(std::ostream &, bool fragile) const; + void draw(PainterInfo & pi, int x, int y) const; /// - void writeNormal(std::ostream &) const; - /// - int ascent() const; + void metricsT(TextMetricsInfo const & mi, Dimension & dim) const; /// - int descent() const; + void drawT(TextPainter &, int x, int y) const; /// - int width() const; + int width() const { return width_; } + + /// + void write(WriteStream & os) const; + /// + void normalize(NormalStream & ns) const; + /// + void octave(OctaveStream & os) const; /// identifies Charinsets - bool isCharInset() const { return true; } + MathCharInset const * asCharInset() const { return this; } /// char getChar() const { return char_; } + /// + bool isRelOp() const; private: /// the character char char_; + /// cached width + mutable int width_; }; #endif