2001-08-16 12:34:48 +00:00
|
|
|
#include "math_notinset.h"
|
|
|
|
#include "math_parser.h"
|
|
|
|
#include "support.h"
|
|
|
|
#include "support/LOstream.h"
|
|
|
|
|
|
|
|
|
|
|
|
using std::ostream;
|
|
|
|
|
|
|
|
MathNotInset::MathNotInset()
|
|
|
|
{}
|
|
|
|
|
|
|
|
|
|
|
|
MathInset * MathNotInset::clone() const
|
|
|
|
{
|
|
|
|
return new MathNotInset(*this);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void MathNotInset::write(ostream & os, bool /* fragile */) const
|
|
|
|
{
|
|
|
|
os << "\\not ";
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void MathNotInset::writeNormal(ostream & os) const
|
|
|
|
{
|
|
|
|
os << "[not] ";
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void MathNotInset::metrics(MathStyles st) const
|
|
|
|
{
|
|
|
|
size(st);
|
|
|
|
mathed_char_dim(LM_TC_VAR, size_, '/', ascent_, descent_, width_);
|
2001-08-21 14:18:51 +00:00
|
|
|
width_ = 0;
|
2001-08-16 12:34:48 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void MathNotInset::draw(Painter & pain, int x, int y) const
|
|
|
|
{
|
|
|
|
xo(x);
|
|
|
|
yo(y);
|
|
|
|
|
2001-08-21 14:18:51 +00:00
|
|
|
drawChar(pain, LM_TC_VAR, size_, x, y, '/');
|
2001-08-16 12:34:48 +00:00
|
|
|
}
|