src/mathed/math_inferinset.C

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