2001-02-28 11:56:36 +00:00
|
|
|
// -*- C++ -*-
|
2001-02-13 13:28:32 +00:00
|
|
|
#ifndef MATH_SPACEINSET_H
|
|
|
|
#define MATH_SPACEINSET_H
|
|
|
|
|
2003-05-28 13:22:36 +00:00
|
|
|
#include "math_inset.h"
|
2001-02-13 13:28:32 +00:00
|
|
|
|
2001-02-28 11:56:36 +00:00
|
|
|
|
2001-02-13 13:28:32 +00:00
|
|
|
/// Smart spaces
|
2003-05-28 13:22:36 +00:00
|
|
|
class MathSpaceInset : public MathInset {
|
2001-02-13 13:28:32 +00:00
|
|
|
public:
|
|
|
|
///
|
2001-07-09 10:19:50 +00:00
|
|
|
explicit MathSpaceInset(int sp);
|
2001-02-13 13:28:32 +00:00
|
|
|
///
|
2002-06-25 13:19:50 +00:00
|
|
|
explicit MathSpaceInset(string const & name);
|
|
|
|
///
|
2001-07-09 10:19:50 +00:00
|
|
|
MathInset * clone() const;
|
2001-02-13 13:28:32 +00:00
|
|
|
///
|
2001-11-15 14:14:37 +00:00
|
|
|
MathSpaceInset const * asSpaceInset() const { return this; }
|
2001-02-13 13:28:32 +00:00
|
|
|
///
|
2001-11-15 14:14:37 +00:00
|
|
|
MathSpaceInset * asSpaceInset() { return this; }
|
2001-02-13 13:28:32 +00:00
|
|
|
///
|
2001-11-15 14:14:37 +00:00
|
|
|
void incSpace();
|
2001-04-25 15:43:57 +00:00
|
|
|
///
|
2003-05-28 13:22:36 +00:00
|
|
|
Dimension metrics(MetricsInfo & mi) const;
|
2001-02-13 13:28:32 +00:00
|
|
|
///
|
2003-03-21 14:20:48 +00:00
|
|
|
void draw(PainterInfo & pi, int x, int y) const;
|
2001-11-15 14:14:37 +00:00
|
|
|
|
2001-10-12 12:02:49 +00:00
|
|
|
///
|
2001-11-15 14:14:37 +00:00
|
|
|
void normalize(NormalStream &) const;
|
2001-02-13 13:28:32 +00:00
|
|
|
///
|
2002-09-20 12:36:36 +00:00
|
|
|
void validate(LaTeXFeatures & features) const;
|
|
|
|
///
|
2003-02-14 14:30:09 +00:00
|
|
|
void maple(MapleStream &) const;
|
2001-11-15 14:14:37 +00:00
|
|
|
///
|
2003-02-14 14:30:09 +00:00
|
|
|
void mathematica(MathematicaStream &) const;
|
2002-07-01 11:17:14 +00:00
|
|
|
///
|
2003-02-14 14:30:09 +00:00
|
|
|
void octave(OctaveStream &) const;
|
2001-11-15 14:14:37 +00:00
|
|
|
///
|
|
|
|
void write(WriteStream & os) const;
|
2001-02-28 11:56:36 +00:00
|
|
|
private:
|
2001-02-13 13:28:32 +00:00
|
|
|
///
|
2001-02-28 11:56:36 +00:00
|
|
|
int space_;
|
2001-02-13 13:28:32 +00:00
|
|
|
};
|
|
|
|
#endif
|