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 using std::max;
  13
  14
  15 MathInferInset::MathInferInset()
  16         : MathGridInset(1, 1)
  17 {}
  18
  19
  20 MathInset * MathInferInset::clone() const
  21 {
  22         return new MathInferInset(*this);
  23 }
  24
  25
  26 void MathInferInset::metrics(MathMetricsInfo &) const
  27 {
  28 }
  29
  30
  31 void MathInferInset::draw(MathPainterInfo &, int, int) const
  32 {
  33 }
  34
  35
  36 void MathInferInset::write(WriteStream & os) const
  37 {
  38         os << "\\infer";
  39         if (opt_.size())
  40                 os << "[" << opt_ << "]";
  41         MathGridInset::write(os);
  42 }
  43
  44