2002-07-09 09:46:31 +00:00
|
|
|
|
// -*- C++ -*-
|
|
|
|
|
#ifndef MATH_ENVINSET_H
|
|
|
|
|
#define MATH_ENVINSET_H
|
|
|
|
|
|
|
|
|
|
#include "math_nestinset.h"
|
2003-03-21 14:20:48 +00:00
|
|
|
|
#include "metricsinfo.h"
|
2002-07-09 09:46:31 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/** Environtments <20> la \begin{something}...\end{something}
|
2002-09-11 08:26:02 +00:00
|
|
|
|
* \author Andr<EFBFBD> P<EFBFBD>nitz
|
|
|
|
|
*
|
|
|
|
|
* Full author contact details are available in file CREDITS
|
2002-07-09 09:46:31 +00:00
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
class MathEnvInset : public MathNestInset {
|
|
|
|
|
public:
|
|
|
|
|
///
|
|
|
|
|
MathEnvInset(string const & name_);
|
|
|
|
|
///
|
2003-07-25 17:11:25 +00:00
|
|
|
|
virtual std::auto_ptr<InsetBase> clone() const;
|
2002-07-09 09:46:31 +00:00
|
|
|
|
///
|
2003-03-21 14:20:48 +00:00
|
|
|
|
void draw(PainterInfo &, int x, int y) const;
|
2002-07-09 09:46:31 +00:00
|
|
|
|
///
|
|
|
|
|
void write(WriteStream & os) const;
|
|
|
|
|
/// write normalized content
|
|
|
|
|
void normalize(NormalStream & ns) const;
|
|
|
|
|
///
|
2003-06-02 10:03:27 +00:00
|
|
|
|
void metrics(MetricsInfo & mi, Dimension & dim) const;
|
2002-07-09 09:46:31 +00:00
|
|
|
|
///
|
|
|
|
|
void infoize(std::ostream & os) const;
|
|
|
|
|
|
|
|
|
|
private:
|
|
|
|
|
/// name of that environment
|
|
|
|
|
string name_;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
#endif
|