]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/math_inset.h
use stream-like syntax for LaTeX output
[lyx.git] / src / mathed / math_inset.h
index fa80cf4eef15b71a7f1a18ddf978f604e7890a85..323deadb75e97a7642d22d578bd4e34e23df2a7c 100644 (file)
  *
  *  Copyright: 1996, 1997 Alejandro Aguilar Sierra
  *
- *   Version: 0.8beta, Mathed & Lyx project.
+ *   Version: 0.8beta, Math & Lyx project.
  *
  *   You are free to use and modify this code under the terms of
  *   the GNU General Public Licence version 2 or later.
  */
 
-//  Note: These math insets are internal to Mathed and are not derived
+//  Note: These math insets are internal to Math and are not derived
 //        from lyx inset.
 
-#ifndef MATH_INSET
-#define MATH_INSET
+#ifndef MATH_INSET_H
+#define MATH_INSET_H
+
+#include <config.h>
 
 #ifdef __GNUG__
 #pragma interface
 #endif
 
-#include "math_defs.h"
-#include "symbol_def.h"
-#include "LString.h"
+#include "xarray.h"
 
-/**
- Functions or LaTeX names for objects that I don't know how to draw.
- */
-class MathFuncInset: public MathedInset  {
-public:
-       ///
-       MathFuncInset(char const * nm,
-                     short ot = LM_OT_FUNC, short st = LM_ST_TEXT);
-       ///
-       ~MathFuncInset();
-       ///
-       MathedInset * Clone();
-       ///
-       void draw(Painter &, int, int);
-       ///
-       void Write(std::ostream &);
-       ///
-       void Metrics();
-       ///
-       inline bool GetLimits() const;
-protected:
-       ///
-       int ln;
-       ///
-       bool lims;
-       ///
-       char * fname;
-};
+/** Abstract base class for all math objects.
+    A math insets is for use of the math editor only, it isn't a
+    general LyX inset. It's used to represent all the math objects.
+    The formulaInset (a LyX inset) encapsulates a math inset.
+*/
 
 
-/// Accents
-class MathAccentInset: public MathedInset {
-public:
-       ///
-       MathAccentInset(byte, MathedTextCodes, int, short st = LM_ST_TEXT);
-       ///
-       MathAccentInset(MathedInset *, int, short st = LM_ST_TEXT);
-       ///
-       ~MathAccentInset();
-       ///
-       MathedInset * Clone();
-       ///
-       void draw(Painter &, int, int);
-       ///
-       void Write(std::ostream &);
-       ///
-       void Metrics();
-       ///
-       int getAccentCode() const { return code; }
-       
-protected:
+class MathArrayInset;
+class MathBoxInset;
+class MathCharInset;
+class MathGridInset;
+class MathNestInset;
+class MathMatrixInset;
+class MathScriptInset;
+class MathSpaceInset;
+class MathMacroTemplate;
+
+class LaTeXFeatures;
+class Buffer;
+class BufferView;
+class LyXFont;
+
+
+struct MathMetricsInfo {
        ///
-       byte c;
+       MathMetricsInfo()
+               : view(0), font(0), size(LM_ST_TEXT)
+       {}
        ///
-       MathedTextCodes fn;
+       MathMetricsInfo(BufferView * v, LyXFont const * f, MathStyles s)
+               : view(v), font(f), size(s)
+       {}
+
        ///
-       int code;
+       BufferView * view;
        ///
-       MathedInset * inset;
+       LyXFont const * font;
        ///
-       int dh, dy;
+       MathStyles size;
 };
 
 
-///
-class MathDotsInset: public MathedInset {
-public:
-       ///
-       MathDotsInset(char const *, int, short st = LM_ST_TEXT);
-       ///
-       MathedInset * Clone();
+struct MathWriteInfo {
        ///
-       void draw(Painter &, int, int);
+       MathWriteInfo(Buffer const * buffer_, std::ostream & os_, bool fragile_)
+               : buffer(buffer_), os(os_), fragile(fragile_)
+       {}
        ///
-       void Write(std::ostream &);
+       explicit MathWriteInfo(std::ostream & os_)
+               : buffer(0), os(os_), fragile(false)
+       {}
+
        ///
-       void Metrics();
-protected:
+       template <class T>
+       MathWriteInfo & operator<<(T const & T)
+       {
+               os << T;
+               return *this;
+       }
        ///
-       int dh, code;
-};   
+       MathWriteInfo & operator<<(MathArray const & ar)
+       {
+               ar.write(*this);
+               return *this;
+       }
 
 
-/// Smart spaces
-class MathSpaceInset: public MathedInset  {
-public:
-       ///
-       MathSpaceInset(int sp, short ot = LM_OT_SPACE, short st = LM_ST_TEXT);
-       ///
-       MathedInset * Clone();
-       ///
-       void draw(Painter &, int, int);
-       ///
-       void Write(std::ostream &);
        ///
-       inline void Metrics();
+       Buffer const * buffer;
        ///
-       inline void SetSpace(int sp);
+       std::ostream & os;
        ///
-       int GetSpace() { return space; }
-protected:
-       ///
-       int space;
+       bool fragile;
 };
 
 
-/// big operators
-class MathBigopInset: public MathedInset {
-public:
-       ///
-       MathBigopInset(char const *, int, short st = LM_ST_TEXT);
-       ///
-       MathedInset * Clone();
-       ///
-       void draw(Painter &, int, int);
-       ///
-       void Write(std::ostream &);
+class MathInset {
+public: 
+       /// short of anything else reasonable
+       typedef MathArray::size_type     size_type;
+       /// type for cursor positions within a cell
+       typedef MathArray::size_type     pos_type;
+       /// type for cell indices
+       typedef size_type                idx_type;
+       /// type for row numbers
+       typedef size_type                row_type;
+       /// type for column numbers
+       typedef size_type                col_type;
+
        ///
-       void Metrics();
+       MathInset();
+       /// the virtual base destructor
+       virtual ~MathInset(); 
+
+       /// draw the object, sets xo_ and yo_ cached values 
+       virtual void draw(Painter &, int x, int y) const;
+       /// write LaTeX and Lyx code
+       virtual void write(MathWriteInfo & os) const;
+       /// write normalized content
+       virtual void writeNormal(std::ostream &) const;
+       /// reproduce itself
+       virtual MathInset * clone() const = 0;
+       ///substitutes macro arguments if necessary
+       virtual void substitute(MathMacro const & macro);
+       /// compute the size of the object, sets ascend_, descend_ and width_
+       virtual void metrics(MathMetricsInfo const & st) const;
+       /// 
+       virtual int ascent() const { return 1; }
        ///
-       inline bool GetLimits() const;
+       virtual int descent() const { return 1; }
        ///
-       inline void SetLimits(bool);
-protected:
+       virtual int width() const { return 2; }
        ///
-       int lims;
+       virtual int height() const;
        ///
-       int sym;   
-};
+       virtual MathStyles size() const;
 
-//------- All editable insets must be derived from MathParInset.
+       /// Where should we go when we press the up cursor key?
+       virtual bool idxUp(idx_type & idx, pos_type & pos) const;
+       /// The down key
+       virtual bool idxDown(idx_type & idx, pos_type & pos) const;
+       /// The left key
+       virtual bool idxLeft(idx_type & idx, pos_type & pos) const;
+       /// The right key
+       virtual bool idxRight(idx_type & idx, pos_type & pos) const;
 
-///
-class MathSqrtInset: public MathParInset {
-public:
-       ///
-       MathSqrtInset(short st = LM_ST_TEXT);
-       ///
-       MathedInset * Clone();
-       ///
-       void draw(Painter &, int x, int baseline);
-       ///
-       void Write(std::ostream &);
-       ///
-       void Metrics();
-       ///
-       bool Inside(int, int);
-private:
-       ///
-       int hmax, wbody;
-};
+       /// Move one physical cell up
+       virtual bool idxNext(idx_type & idx, pos_type & pos) const;
+       /// Move one physical cell down
+       virtual bool idxPrev(idx_type & idx, pos_type & pos) const;
 
+       /// Target pos when we enter the inset from the left by pressing "Right"
+       virtual bool idxFirst(idx_type & idx, pos_type & pos) const;
+       /// Target pos when we enter the inset from the right by pressing "Left"
+       virtual bool idxLast(idx_type & idx, pos_type & pos) const;
+
+       /// Where should we go if we press home?
+       virtual bool idxHome(idx_type & idx, pos_type & pos) const;
+       /// Where should we go if we press end?
+       virtual bool idxEnd(idx_type & idx, pos_type & pos) const;
+
+       /// Delete a cell and move cursor
+       // the return value indicates whether the cursor should leave the inset
+       // and/or the whole inset should be deleted
+       virtual void idxDelete(idx_type & idx, bool & popit, bool & deleteit);
+       // deletes a cell range and moves the cursor 
+       virtual void idxDeleteRange(idx_type from, idx_type to);
+       // returns list of cell indices that are "between" from and to for
+       // selection purposes
+       virtual std::vector<idx_type> idxBetween(idx_type from, idx_type to) const;
 
-/// Fraction like objects (frac, stackrel, binom) 
-class MathFracInset: public MathParInset {
-public:
-       ///
-       MathFracInset(short ot = LM_OT_FRAC);
-       ///
-       ~MathFracInset();
        ///
-       MathedInset * Clone();
+       virtual idx_type nargs() const;
+
        ///
-       void draw(Painter &, int x, int baseline);
+       virtual MathArray & cell(idx_type);
        ///
-       void Write(std::ostream &);
+       virtual MathArray const & cell(idx_type) const;
        ///
-       void Metrics();
-       
-       /** This does the same that SetData(LyxArrayBase*) but for both
-           numerator and denominator at once.
-       */
-       void SetData(LyxArrayBase *, LyxArrayBase *);
+       virtual MathXArray & xcell(idx_type);
        ///
-       void SetData(LyxArrayBase *);
+       virtual MathXArray const & xcell(idx_type) const;
+                       
        ///
-       void GetXY(int & x, int & y) const;
+       virtual int xo() const;
        ///
-       void SetFocus(int, int);
+       virtual int yo() const;
        ///
-       bool Inside(int, int);
+       virtual void xo(int tx) const;
        ///
-       LyxArrayBase * GetData();
+       virtual void yo(int ty) const;
        ///
-       bool setArgumentIdx(int i); // was bool Up/down(void);
+
        ///
-       int  getArgumentIdx() { return int(idx); }
+       virtual col_type ncols() const { return 1; }
        ///
-       int  getMaxArgumentIdx() { return 1; }
+       virtual row_type nrows() const { return 1; }
        ///
-       void  SetStyle(short);
-protected:
+       virtual col_type col(row_type) const { return 0; }
        ///
-       short idx;
+       virtual row_type row(row_type) const { return 0; }
        ///
-       MathParInset * den;
+       virtual int cellXOffset(row_type) const { return 0; }
        ///
-       int w0, w1, des0, dh;
-};
-
-
-/// A delimiter
-class MathDelimInset: public MathParInset {
-public:
+       virtual int cellYOffset(row_type) const { return 0; }
        ///
-       MathDelimInset(int, int, short st = LM_ST_TEXT);
+       virtual void addRow(row_type) {}
        ///
-       MathedInset * Clone();
+       virtual void delRow(row_type) {}
        ///
-       void draw(Painter &, int, int);
+       virtual void addCol(col_type) {}
        ///
-       void Write(std::ostream &);
+       virtual void delCol(col_type) {}
+
        ///
-       void Metrics();
-protected:
+       virtual void userSetSize(MathStyles &) {}
+
        ///
-       int left, right;
+       virtual void getXY(int & x, int & y) const;
        ///
-       int dw, dh;
-};
+       virtual bool covers(int x, int y) const;
 
+       /// identifies NestInsets
+       virtual MathNestInset * asNestInset() { return 0; }
+       /// identifies CharInsets
+       virtual MathCharInset const * asCharInset() const { return 0; }
+       /// identifies ScriptInsets
+       virtual MathScriptInset const * asScriptInset() const { return 0; }
+       /// identifies ScriptInsets
+       virtual MathScriptInset * asScriptInset() { return 0; }
+       /// identifies MatrixInsets
+       virtual MathMatrixInset const * asMatrixInset() const { return 0; }
+       /// identifies MatrixInsets
+       virtual MathMatrixInset * asMatrixInset() { return 0; }
+       /// identifies SpaceInset
+       virtual MathSpaceInset * asSpaceInset() { return 0; }
+       /// identifies GridInset
+       virtual MathGridInset * asGridInset() { return 0; }
+       /// identifies ArrayInsets
+       virtual MathArrayInset * asArrayInset() { return 0; }
+       /// identifies BoxInsets
+       virtual MathBoxInset * asBoxInset() { return 0; }
+       /// identifies macro templates
+       virtual MathMacroTemplate * asMacroTemplate() { return 0; }
 
-/// Decorations over (below) a math object
-class MathDecorationInset: public MathParInset {
-public:
-       ///
-       MathDecorationInset(int, short st = LM_ST_TEXT);
+       /// identifies things that can get scripts
+       virtual bool isScriptable() const { return false; }
        ///
-       MathedInset * Clone();
+       virtual bool isActive() const { return nargs() > 0; }
        ///
-       void draw(Painter &, int, int);
+       virtual bool isRelOp() const { return false; }
        ///
-       void Write(std::ostream &);
+       virtual bool isMacro() const { return false; }
+
        ///
-       void Metrics();
+       virtual char getChar() const { return 0; }
        ///
-       inline bool GetLimits() const;
-protected:
+       virtual MathTextCodes code() const { return LM_TC_MIN; }
+       /// identifies things that can get \limits or \nolimits
+       virtual bool takesLimits() const { return false; }
+
        ///
-       int deco;
+       virtual void push_back(MathInset *);
        ///
-       bool upper;
+       virtual void push_back(unsigned char c, MathTextCodes code);
        ///
-       int dw, dh, dy;
-};
-
-
-// --------------------  Inline functions ---------------------
-
-inline
-MathFuncInset::~MathFuncInset()
-{
-    if (fname && GetType() == LM_OT_UNDEF) delete[] fname;
-}
-
-
-inline
-bool MathFuncInset::GetLimits() const 
-{  
-   return bool(lims && (GetStyle() == LM_ST_DISPLAY)); 
-} 
-
-
-inline
-void MathFuncInset::Write(std::ostream & os)
-{
-       os << "\\" << name << ' ';
-}
+       virtual void dump() const;
 
+       ///
+       virtual void validate(LaTeXFeatures & features) const;
+       ///
+       virtual void handleFont(MathTextCodes) {}
 
-inline
-void MathSpaceInset::Metrics()
-{
-   width = space ? space * 2 : 2;
-   if (space > 3) width *= 2;
-   if (space == 5) width *= 2;
-   width += 4;
-   ascent = 4; descent = 0;
-}
-
-
-inline
-void MathSpaceInset::SetSpace(int sp)
-{ 
-   space = sp;
-   Metrics();
-}    
-
-
-inline
-bool MathBigopInset::GetLimits() const 
-{  
-    // Default case
-    if (lims < 0) {
-       return sym != LM_int && sym != LM_oint && GetStyle() == LM_ST_DISPLAY;
-    } 
-    
-    // Custom 
-    return lims > 0;
-} 
-
+       ///
+       static int workwidth;
 
-inline
-void MathBigopInset::SetLimits(bool ls) 
-{  
-    lims = ls ? 1 : 0; 
-} 
+protected:
+       /// the used font size
+       mutable MathMetricsInfo size_;
 
+private:
+       /// the following are used for positioning the cursor with the mouse
+       /// cached cursor start position in pixels from the document left
+       mutable int xo_;
+       /// cached cursor start position in pixels from the document top
+       mutable int yo_;
+};
 
-inline
-bool MathDecorationInset::GetLimits() const
-{ 
-   return deco == LM_underbrace || deco == LM_overbrace;
-}    
+std::ostream & operator<<(std::ostream &, MathInset const &);
 
 #endif