]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/math_inset.h
fix #1073
[lyx.git] / src / mathed / math_inset.h
index 8b611d3efa3563ba7112893f146f9c4a3245c8e3..2bd1a232330fc5fb0d8be22a503b3805e9b37116 100644 (file)
@@ -1,8 +1,8 @@
 // -*- C++ -*-
-/*
+/**
  *  File:        math_inset.h
- *  Purpose:     Declaration of insets for mathed 
- *  Author:      Alejandro Aguilar Sierra <asierra@servidor.unam.mx> 
+ *  Purpose:     Declaration of insets for mathed
+ *  Author:      Alejandro Aguilar Sierra <asierra@servidor.unam.mx>
  *  Created:     January 1996
  *  Description: Math paragraph and objects for a WYSIWYG math editor.
  *
 #ifndef MATH_INSET_H
 #define MATH_INSET_H
 
+
 #include <config.h>
 
-#ifdef __GNUG__
-#pragma interface
-#endif
+#include "LString.h"
+#include "frontends/mouse_state.h"
+#include "insets/insetbase.h"
+#include "math_data.h"
+
+/**
+
+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.
 
-#include "math_xdata.h"
-#include "math_defs.h"
+Math insets do not know there parents, a cursor position or things
+like that. The are dumb object that are contained in other math insets
+(mathNestInsets, in fact) thus forming a tree. The root of this tree is
+always a mathHullInset, which provides an interface to the Outer World by
+inclusion in the "real LyX insets" FormulaInset and FormulaMacroInset.
 
-/** 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.
 */
 
 
 class MathArrayInset;
-class MathBoxInset;
+class MathAMSArrayInset;
 class MathCharInset;
 class MathDelimInset;
-class MathFuncInset;
 class MathGridInset;
+class MathFracInset;
+class MathFontInset;
 class MathHullInset;
 class MathMatrixInset;
 class MathNestInset;
+class MathParboxInset;
 class MathScriptInset;
+class MathStringInset;
 class MathSpaceInset;
-class MathMacroTemplate;
+class MathSymbolInset;
+class MathUnknownInset;
+
+class RefInset;
 
 class NormalStream;
 class OctaveStream;
 class MapleStream;
+class MaximaStream;
+class MathematicaStream;
 class MathMLStream;
 class WriteStream;
+class InfoStream;
 class MathArray;
 
 class LaTeXFeatures;
 class BufferView;
 class UpdatableInset;
+class MathMacroTemplate;
+class MathPosFinder;
+class Dimension;
+class FuncRequest;
 
 
-class MathInset {
-public: 
+class MathInset : public InsetBase {
+public:
        /// short of anything else reasonable
-       typedef MathArray::size_type     size_type;
+       typedef MathArray::size_type        size_type;
+       /// type for cursor positions differences within a cell
+       typedef MathArray::difference_type  difference_type;
        /// type for cursor positions within a cell
-       typedef MathArray::size_type     pos_type;
+       typedef MathArray::size_type        pos_type;
        /// type for cell indices
-       typedef size_type                idx_type;
+       typedef size_type                   idx_type;
        /// type for row numbers
-       typedef size_type                row_type;
+       typedef size_type                   row_type;
        /// type for column numbers
-       typedef size_type                col_type;
+       typedef size_type                   col_type;
 
-       ///
-       MathInset();
-       /// the virtual base destructor
-       virtual ~MathInset(); 
+       /// our members behave nicely...
+       MathInset() {}
 
-       /// draw the object
-       virtual void draw(Painter &, int x, int y) const;
-       /// write LaTeX and Lyx code
-       virtual void write(WriteStream & os) const;
        /// reproduce itself
        virtual MathInset * clone() const = 0;
-       ///substitutes macro arguments if necessary
+       /// 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;
-       /// 
+       // updates the (xo,yo)-caches of all contained cells
+       virtual void metrics(MetricsInfo & mi) const;
+       /// draw the object
+       virtual void draw(PainterInfo & pi, int x, int y) const;
+       /// draw selection between two positions
+       virtual void drawSelection(PainterInfo & pi,
+               idx_type idx1, pos_type pos1, idx_type idx2, pos_type pos2) const;
+       /// the ascent of the inset above the baseline
+       /// compute the size of the object for text based drawing
+       virtual void metricsT(TextMetricsInfo const & st) const;
+       /// draw the object as text
+       virtual void drawT(TextPainter &, int x, int y) const;
+       /// the ascent of the inset above the baseline
        virtual int ascent() const { return 1; }
-       ///
+       /// the descent of the inset below the baseline
        virtual int descent() const { return 1; }
-       ///
+       /// total width
        virtual int width() const { return 2; }
-       ///
+       /// all in one batch
+       virtual Dimension dimensions() const;
+       /// total height (== ascent + descent)
        virtual int height() const;
 
-       /// 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;
+       /// Where should we go when we press the up or down cursor key?
+       virtual bool idxUpDown(idx_type & idx, pos_type & pos, bool up,
+               int targetx) const;
+       /// Where should we go when we press the up or down cursor key?
+       virtual bool idxUpDown2(idx_type & idx, pos_type & pos, bool up,
+               int targetx) const;
        /// The left key
        virtual bool idxLeft(idx_type & idx, pos_type & pos) const;
        /// The right key
@@ -125,119 +156,166 @@ public:
        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);
+       virtual bool idxDelete(idx_type &) { return false; }
+       /// pulls cell after pressing erase
+       virtual void idxGlue(idx_type) {}
        // 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;
+       virtual bool idxBetween(idx_type idx, idx_type from, idx_type to) const;
 
-       ///
+       /// the number of nested cells this inset owns
        virtual idx_type nargs() const;
 
-       ///
+       /// return cell given its number
        virtual MathArray & cell(idx_type);
-       ///
+       /// return cell given its number
        virtual MathArray const & cell(idx_type) const;
-       ///
-       virtual MathXArray & xcell(idx_type);
-       ///
-       virtual MathXArray const & xcell(idx_type) const;
-                       
-       ///
+
+       /// the number of columns of this inset if it is grid-like
        virtual col_type ncols() const { return 1; }
-       ///
+       /// the number of rows of this inset if it is grid-like
        virtual row_type nrows() const { return 1; }
-       ///
-       virtual col_type col(row_type) const { return 0; }
-       ///
-       virtual row_type row(row_type) const { return 0; }
-       ///
-       virtual int cellXOffset(row_type) const { return 0; }
-       ///
-       virtual int cellYOffset(row_type) const { return 0; }
-       ///
-       virtual void addRow(row_type) {}
-       ///
-       virtual void delRow(row_type) {}
-       ///
-       virtual void addCol(col_type) {}
-       ///
-       virtual void delCol(col_type) {}
+       /// to which column belongs a cell with a given index?
+       virtual col_type col(idx_type) const { return 0; }
+       /// to which row belongs a cell with a given index?
+       virtual row_type row(idx_type) const { return 0; }
+       /// cell idex corresponding to row and column;
+       virtual idx_type index(row_type row, col_type col) const;
+       /// any additional x-offset when drawing a cell?
+       virtual int cellXOffset(idx_type) const { return 0; }
+       /// any additional y-offset when drawing a cell?
+       virtual int cellYOffset(idx_type) const { return 0; }
+       /// can we enter this cell?
+       virtual bool validCell(idx_type) const { return true; }
+       /// get coordinates
+       virtual void getPos(idx_type idx, pos_type pos, int & x, int & y) const;
 
-       ///
-       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       * asScriptInset()       { return 0; }
-       virtual MathScriptInset const * asScriptInset() const { return 0; }
-       /// identifies HullInsets
-       virtual MathHullInset         * asHullInset()         { return 0; }
-       virtual MathHullInset const   * asHullInset() const   { return 0; }
-       /// identifies SpaceInset
-       virtual MathSpaceInset        * asSpaceInset()        { return 0; }
-       /// identifies GridInset
-       virtual MathGridInset         * asGridInset()         { return 0; }
-       /// identifies ArrayInsets
-       virtual MathArrayInset        * asArrayInset()        { return 0; }
-       /// identifies MatrixInsets
-       virtual MathMatrixInset const * asMatrixInset() const { return 0; }
-       /// identifies BoxInsets
-       virtual MathBoxInset          * asBoxInset()          { return 0; }
-       /// identifies DelimInsets
-       virtual MathDelimInset        * asDelimInset()        { return 0; }
-       virtual MathDelimInset const  * asDelimInset() const  { return 0; }
-       /// identifies FuncInsets
-       virtual MathFuncInset         * asFuncInset()         { return 0; }
-       /// identifies macro templates
-       virtual MathMacroTemplate     * asMacroTemplate()     { return 0; }
-       /// identifies hyperactive insets
-       virtual UpdatableInset   * asHyperActiveInset() const { return 0; }
+       /// identifies certain types of insets
+       virtual MathAMSArrayInset       * asAMSArrayInset()       { return 0; }
+       virtual MathAMSArrayInset const * asAMSArrayInset() const { return 0; }
+       virtual MathArrayInset          * asArrayInset()          { return 0; }
+       virtual MathArrayInset const    * asArrayInset() const    { return 0; }
+       virtual MathCharInset const     * asCharInset() const     { return 0; }
+       virtual MathDelimInset          * asDelimInset()          { return 0; }
+       virtual MathDelimInset const    * asDelimInset() const    { return 0; }
+       virtual MathFracInset           * asFracInset()           { return 0; }
+       virtual MathFracInset const     * asFracInset() const     { return 0; }
+       virtual MathFontInset           * asFontInset()           { return 0; }
+       virtual MathFontInset const     * asFontInset() const     { return 0; }
+       virtual MathGridInset           * asGridInset()           { return 0; }
+       virtual MathGridInset const     * asGridInset() const     { return 0; }
+       virtual MathHullInset           * asHullInset()           { return 0; }
+       virtual MathHullInset const     * asHullInset() const     { return 0; }
+       virtual MathMacroTemplate       * asMacroTemplate()       { return 0; }
+       virtual MathMacroTemplate const * asMacroTemplate() const { return 0; }
+       virtual MathMatrixInset const   * asMatrixInset() const   { return 0; }
+       virtual MathNestInset           * asNestInset()           { return 0; }
+       virtual MathNestInset const     * asNestInset() const     { return 0; }
+       virtual MathParboxInset         * asParboxInset()         { return 0; }
+       virtual MathScriptInset         * asScriptInset()         { return 0; }
+       virtual MathScriptInset const   * asScriptInset() const   { return 0; }
+       virtual MathSpaceInset          * asSpaceInset()          { return 0; }
+       virtual MathSpaceInset const    * asSpaceInset() const    { return 0; }
+       virtual MathStringInset         * asStringInset()         { return 0; }
+       virtual MathStringInset const   * asStringInset() const   { return 0; }
+       virtual MathSymbolInset const   * asSymbolInset() const   { return 0; }
+       virtual MathUnknownInset        * asUnknownInset()        { return 0; }
+       virtual MathUnknownInset const  * asUnknownInset() const  { return 0; }
+       virtual RefInset                * asRefInset()            { return 0; }
 
        /// identifies things that can get scripts
        virtual bool isScriptable() const { return false; }
        /// thing that can be moved into
        virtual bool isActive() const { return nargs() > 0; }
-       /// identifies insets from the outer world
-       virtual bool isHyperActive() const { return 0; }
-       ///
+       /// is the a relational operator (used for splitting equations)
        virtual bool isRelOp() const { return false; }
-       ///
-       virtual bool isMacro() const { return false; }
+       /// -1: text mode, 1: math mode, 0 undecided
+       enum mode_type {UNDECIDED_MODE, TEXT_MODE, MATH_MODE};
 
-       ///
+       virtual mode_type currentMode() const { return UNDECIDED_MODE; }
+       /// will this get written as a single block in {..}
+       virtual bool extraBraces() const { return false; }
+
+       /// return the content as char if the inset is able to do so
        virtual char getChar() const { return 0; }
-       ///
-       virtual MathTextCodes code() const { return LM_TC_MIN; }
        /// identifies things that can get \limits or \nolimits
        virtual bool takesLimits() const { return false; }
 
        ///
-       virtual void dump() const;
-       ///
-       virtual void edit(BufferView *, int, int, unsigned int) {}
+       virtual void edit(BufferView *, int, int, mouse_button::state) {}
 
-       ///
-       virtual void validate(LaTeXFeatures & features) const;
-       ///
-       virtual void handleFont(MathTextCodes) {}
+       /// request "external features"
+       virtual void validate(LaTeXFeatures &) const {}
+       /// char char code if possible
+       virtual void handleFont(string const &) {}
+       /// is this inset equal to a given other inset?
+       virtual bool match(MathAtom const &) const { return false; }
+       /// replace things by other things
+       virtual void replace(ReplaceData &) {}
+       /// do we contain a given subsequence?
+       virtual bool contains(MathArray const &) const { return false; }
+       /// access to the lock (only nest array have one)
+       virtual bool lock() const { return false; }
+       /// access to the lock (only nest array have one)
+       virtual void lock(bool) {}
+       /// get notification when the cursor leaves this inset
+       virtual void notifyCursorLeaves(idx_type) {}
 
+       /// write LaTeX and Lyx code
+       virtual void write(WriteStream & os) const;
        /// write normalized content
        virtual void normalize(NormalStream &) const;
-       ///
-       virtual void maplize(MapleStream &) const;
-       ///
+       /// write content as something readable by Maple
+       virtual void maple(MapleStream &) const;
+       /// write content as something readable by Maxima
+       virtual void maxima(MaximaStream &) const;
+       /// write content as something readable by Mathematica
+       virtual void mathematica(MathematicaStream &) const;
+       /// write content as something resembling MathML
        virtual void mathmlize(MathMLStream &) const;
-       ///
-       virtual void octavize(OctaveStream &) const;
+       /// write content as something readable by Octave
+       virtual void octave(OctaveStream &) const;
+       /// describe content if cursor inside
+       virtual void infoize(std::ostream &) const {}
+       /// describe content if cursor behind
+       virtual void infoize2(std::ostream &) const {}
+       /// plain ascii output
+       virtual int ascii(std::ostream & os, int) const;
+       /// linuxdoc output
+       virtual int linuxdoc(std::ostream & os) const;
+       /// docbook output
+       virtual int docbook(std::ostream & os, bool) const;
+
+       /// dump content to stderr for debugging
+       virtual void dump() const;
+
+       /// LyXInset stuff
+       /// write labels into a list
+       virtual void getLabelList(std::vector<string> &) const {}
+       /// LyXInset stuff
+       virtual bool numberedType() const { return false; }
+       /// hull type
+       virtual string const & getType() const;
+       /// change type
+       virtual void mutate(string const &) {}
+       /// how is the inset called in the .lyx file?
+       virtual string fileInsetLabel() const { return "Formula"; }
+       /// usually the latex name
+       virtual string name() const;
+
+protected:
+       /// a dirty hack
+       BufferView * view() const;
 };
 
-std::ostream & operator<<(std::ostream &, MathInset const &);
+std::ostream & operator<<(std::ostream &, MathAtom const &);
+
+// converts single cell to string
+string asString(MathArray const & ar);
+// converts string to single cell
+MathArray asArray(string const & str);
+
+// initialize math
+void initMath();
 
 #endif