///
MathInset * clone() const;
///
- MathTextCodes nativeCode(char c) const;
+ static MathTextCodes nativeCode(char c);
///
- void metrics(MathStyles st) const;
+ void metrics(MathMetricsInfo const & st) const;
///
void draw(Painter &, int x, int y) const;
///
- void write(std::ostream &, bool fragile) const;
+ void write(WriteStream & os) const;
///
- void writeNormal(std::ostream &) const;
+ void writeHeader(std::ostream &) const;
+ ///
+ void writeTrailer(std::ostream &) const;
+ ///
+ void writeRaw(std::ostream &) const;
+ ///
+ void normalize(NormalStream &) const;
///
int ascent() const;
///
///
int width() const;
/// identifies Charinsets
- bool isCharInset() const { return true; }
+ MathCharInset const * asCharInset() const { return this; }
///
char getChar() const { return char_; }
///
bool isRelOp() const;
///
void handleFont(MathTextCodes t);
+ ///
+ bool match(MathInset *) const;
private:
/// the character
char char_;
- ///
+ /// the font to be used on screen
MathTextCodes code_;
+ ///
+ mutable MathMetricsInfo mi_;
};
#endif