src/mathed/math_deliminset.h

   1 // -*- C++ -*-
   2 /**
   3  * \file math_deliminset.h
   4  * This file is part of LyX, the document processor.
   5  * Licence details can be found in the file COPYING.
   6  *
   7  * \author Alejandro Aguilar Sierra
   8  * \author André Pönitz
   9  *
  10  * Full author contact details are available in file CREDITS.
  11  */
  12
  13 #ifndef MATH_DELIMINSET_H
  14 #define MATH_DELIMINSET_H
  15
  16 #include "math_nestinset.h"
  17
  18 #include <string>
  19
  20
  21 /// A delimiter
  22 class MathDelimInset : public MathNestInset {
  23 public:
  24         ///
  25         MathDelimInset(std::string const & left, std::string const & right);
  26         ///
  27         MathDelimInset(std::string const & left, std::string const & right, MathArray const &);
  28         ///
  29         virtual std::auto_ptr<InsetBase> clone() const;
  30         ///
  31         MathDelimInset * asDelimInset() { return this; }
  32         ///
  33         MathDelimInset const * asDelimInset() const { return this; }
  34         /// is it (...)?
  35         bool isParanthesis() const;
  36         /// is it [...]?
  37         bool isBrackets() const;
  38         /// is it |...|?
  39         bool isAbs() const;
  40         ///
  41         void metrics(MetricsInfo & mi, Dimension & dim) const;
  42         ///
  43         void draw(PainterInfo &, int x, int y) const;
  44
  45         ///
  46         void write(WriteStream & os) const;
  47         /// write normalized content
  48         void normalize(NormalStream &) const;
  49         ///
  50         void maple(MapleStream &) const;
  51         ///
  52         void maxima(MaximaStream &) const;
  53         ///
  54         void mathematica(MathematicaStream &) const;
  55         ///
  56         void mathmlize(MathMLStream &) const;
  57         ///
  58         void octave(OctaveStream &) const;
  59         ///
  60         std::string left_;
  61         ///
  62         std::string right_;
  63 private:
  64         ///
  65         mutable int dw_;
  66 };
  67 #endif