src/mathed/math_inferinset.C

   1 #include "math_inferinset.h"
   2 #include "math_support.h"
   3 #include "frontends/Painter.h"
   4 #include "math_mathmlstream.h"
   5 #include "textpainter.h"
   6
   7 using std::auto_ptr;
   8
   9
  10 MathInferInset::MathInferInset()
  11         : MathGridInset(1, 1)
  12 {}
  13
  14
  15 auto_ptr<InsetBase> MathInferInset::clone() const
  16 {
  17         return auto_ptr<InsetBase>(new MathInferInset(*this));
  18 }
  19
  20
  21 void MathInferInset::metrics(MetricsInfo &, Dimension &) const
  22 {
  23 }
  24
  25
  26 void MathInferInset::draw(PainterInfo &, int, int) const
  27 {
  28 }
  29
  30
  31 void MathInferInset::write(WriteStream & os) const
  32 {
  33         os << "\\infer";
  34         if (opt_.size())
  35                 os << '[' << opt_ << ']';
  36         MathGridInset::write(os);
  37 }