]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/math_inset.h
small up/down tweaking
[lyx.git] / src / mathed / math_inset.h
index a9733845da383fb26a8a84f3b248343cddc3d919..bae365ab860d4d135627568c6196fdbb456e4659 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 "xarray.h"
+#include <config.h>
+
+#include "LString.h"
+#include "frontends/mouse_state.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.
+
+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 LaTeXFeatures;
+class MathArrayInset;
+class MathAMSArrayInset;
 class MathCharInset;
+class MathDelimInset;
+class MathGridInset;
+class MathFracInset;
+class MathFontInset;
+class MathHullInset;
+class MathMatrixInset;
+class MathNestInset;
+class MathParboxInset;
 class MathScriptInset;
+class MathStringInset;
+class MathSpaceInset;
+class MathSymbolInset;
+class MathUnknownInset;
+
+class InsetRef;
+
+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: 
-       ///
-       typedef MathArray::size_type     size_type;
+public:
+       /// short of anything else reasonable
+       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;
+       /// 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;
 
-       ///
-       MathInset();
+       /// our members behave nicely...
+       MathInset() {}
        /// the virtual base destructor
-       virtual ~MathInset()
+       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(std::ostream &, bool fragile) const;
-       /// write normalized content
-       virtual void writeNormal(std::ostream &) 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(MathStyles st) const;
-       /// 
+       // updates the (xo,yo)-caches of all contained cells
+       virtual void metrics(MathMetricsInfo & mi) const;
+       /// draw the object
+       virtual void draw(MathPainterInfo & pi, int x, int y) const;
+       /// draw selection between two positions
+       virtual void drawSelection(MathPainterInfo & 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;
-       ///
-       virtual MathStyles size() const;
 
-       /// Where should we go when we press the up cursor key?
-       virtual bool idxUp(unsigned int & idx, unsigned int & pos) const;
-       /// The down key
-       virtual bool idxDown(unsigned int & idx, unsigned int & 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;
        /// The left key
-       virtual bool idxLeft(unsigned int & idx, unsigned int & pos) const;
+       virtual bool idxLeft(idx_type & idx, pos_type & pos) const;
        /// The right key
-       virtual bool idxRight(unsigned int & idx, unsigned int & pos) const;
+       virtual bool idxRight(idx_type & idx, pos_type & pos) const;
 
        /// Move one physical cell up
-       virtual bool idxNext(unsigned int & idx, unsigned int & pos) const;
+       virtual bool idxNext(idx_type & idx, pos_type & pos) const;
        /// Move one physical cell down
-       virtual bool idxPrev(unsigned int & idx, unsigned int & pos) const;
+       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(unsigned int & idx, unsigned int & pos) const;
+       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(unsigned int & idx, unsigned int & pos) const;
+       virtual bool idxLast(idx_type & idx, pos_type & pos) const;
 
        /// Where should we go if we press home?
-       virtual bool idxHome(unsigned int & idx, unsigned int & pos) const;
+       virtual bool idxHome(idx_type & idx, pos_type & pos) const;
        /// Where should we go if we press end?
-       virtual bool idxEnd(unsigned int & idx, unsigned int & pos) const;
+       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(unsigned int & idx, bool & popit, bool & deleteit);
-       // deletes a cell range and moves the cursor 
-       virtual void idxDeleteRange(unsigned int from, unsigned int 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<unsigned int>
-               idxBetween(unsigned int from, unsigned int to) const;
+       virtual bool idxBetween(idx_type idx, idx_type from, idx_type to) const;
 
-       ///
-       virtual unsigned int nargs() const;
+       /// the number of nested cells this inset owns
+       virtual idx_type nargs() const;
 
-       ///
-       virtual MathArray & cell(unsigned int);
-       ///
-       virtual MathArray const & cell(unsigned int) const;
-       ///
-       virtual MathXArray & xcell(unsigned int);
-       ///
-       virtual MathXArray const & xcell(unsigned int) const;
-                       
-       ///
-       virtual int xo() const;
-       ///
-       virtual int yo() const;
-       ///
-       virtual void xo(int tx) const;
-       ///
-       virtual void yo(int ty) const;
-       ///
+       /// return cell given its number
+       virtual MathArray & cell(idx_type);
+       /// return cell given its number
+       virtual MathArray const & cell(idx_type) const;
 
-       ///
-       virtual unsigned int ncols() const { return 1; }
-       ///
-       virtual unsigned int nrows() const { return 1; }
-       ///
-       virtual unsigned int col(unsigned int) const { return 0; }
-       ///
-       virtual unsigned int row(unsigned int) const { return 0; }
-       ///
-       virtual int cellXOffset(unsigned int) const { return 0; }
-       ///
-       virtual int cellYOffset(unsigned int) const { return 0; }
-       ///
-       virtual void addRow(unsigned int) {}
-       ///
-       virtual void delRow(unsigned int) {}
-       ///
-       virtual void addCol(unsigned int) {}
-       ///
-       virtual void delCol(unsigned int) {}
+       /// 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; }
+       /// 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 void userSetSize(MathStyles &) {}
+       /// 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 InsetRef                * asInsetRef()            { return 0; }
 
-       ///
-       virtual void getXY(int & x, int & y) const;
-       ///
-       virtual bool covers(int x, int y) const;
        /// identifies things that can get scripts
        virtual bool isScriptable() const { return false; }
-       /// identifies ScriptInsets
-       virtual bool isScriptInset() const { return false; }
-       /// identifies SpaceInsets
-       virtual bool isSpaceInset() const { return false; }
-       /// identifies GridInsets
-       virtual bool isGrid() const { return false; }
-       /// identifies ArrayInsets
-       virtual bool isArray() const { return false; }
-       /// identifies CharInsets
-       virtual MathCharInset const * asCharInset() const { return 0; }
-       /// identifies ScriptInsets
-       virtual MathScriptInset const * asScriptInset() const { return 0; }
-       ///
+       /// thing that can be moved into
        virtual bool isActive() const { return nargs() > 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};
+       /// Dispatch result codes, see inset/inset.h
+       enum result_type {
+               UNDISPATCHED = 0, DISPATCHED, DISPATCHED_NOUPDATE,
+               FINISHED, FINISHED_RIGHT, FINISHED_UP, FINISHED_DOWN,
+               DISPATCHED_POP
+       };
+
+       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 push_back(MathInset *);
-       ///
-       virtual void push_back(unsigned char c, MathTextCodes code);
-       ///
-       virtual void dump() const;
+       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) {}
 
-       ///
-       static int workwidth;
-
-protected:
-       /// _sets_ style
-       void size(MathStyles s) const;
-       /// the used font size
-       mutable MathStyles 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_;
+       /// write LaTeX and Lyx code
+       virtual void write(WriteStream & os) const;
+       /// write normalized content
+       virtual void normalize(NormalStream &) const;
+       /// write content as something readable by Maple
+       virtual void maplize(MapleStream &) const;
+       /// write content as something readable by Maxima
+       virtual void maximize(MaximaStream &) const;
+       /// write content as something readable by Mathematica
+       virtual void mathematicize(MathematicaStream &) const;
+       /// write content as something resembling MathML
+       virtual void mathmlize(MathMLStream &) const;
+       /// write content as something readable by Octave
+       virtual void octavize(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;
+       /// local dispatcher
+       virtual result_type dispatch
+               (FuncRequest const & cmd, idx_type & idx, pos_type & pos);
+
+       /// 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;
 };
 
-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();
+
+/// here to ssave a few includes in the insets
+class Dialogs;
+Dialogs & getDialogs();
 
 #endif