// -*- C++ -*-
-/*
- * File: math_inset.h
- * 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.
+/**
+ * \file math_inset.h
+ * This file is part of LyX, the document processor.
+ * Licence details can be found in the file COPYING.
*
- * Dependencies: Xlib, XForms
+ * \author Alejandro Aguilar Sierra
+ * \author André Pönitz
*
- * Copyright: 1996, 1997 Alejandro Aguilar Sierra
- *
- * 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.
+ * Full author contact details are available in file CREDITS.
*/
-// Note: These math insets are internal to Math and are not derived
-// from lyx inset.
-
#ifndef MATH_INSET_H
#define MATH_INSET_H
-#include <config.h>
+#include "cursor_slice.h"
+#include "insets/insetbase.h"
-#ifdef __GNUG__
-#pragma interface
-#endif
+#include <string>
-#include "math_xdata.h"
-#include "math_defs.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.
- The formulaInset (a LyX inset) encapsulates a math inset.
-*/
+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.
+*/
+class OutputParams;
class MathArrayInset;
-class MathBoxInset;
+class MathAMSArrayInset;
class MathCharInset;
class MathDelimInset;
-class MathFuncInset;
-class MathGridInset;
class MathFracInset;
+class MathFontInset;
+class MathGridInset;
class MathHullInset;
class MathMatrixInset;
class MathNestInset;
+class MathParboxInset;
class MathScriptInset;
class MathStringInset;
class MathSpaceInset;
class MathSymbolInset;
+class MathUnknownInset;
+
+class RefInset;
+
+class MathArray;
+class MathAtom;
class NormalStream;
class OctaveStream;
class MapleStream;
+class MaximaStream;
+class MathematicaStream;
class MathMLStream;
class WriteStream;
-class MathArray;
+class InfoStream;
-class LaTeXFeatures;
class BufferView;
class UpdatableInset;
class MathMacroTemplate;
+class MathMacro;
+class MathPosFinder;
+class Dimension;
+class FuncRequest;
+class TextPainter;
+class TextMetricsInfo;
+class ReplaceData;
-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;
-
- ///
- MathInset();
- /// the virtual base destructor
- virtual ~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
+class MathInset : public InsetBase {
+public:
+ /// our members behave nicely...
+ MathInset() {}
+ /// identification as math inset
+ MathInset * asMathInset() { return this; }
+
+ /// 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; }
- ///
- virtual int descent() const { return 1; }
- ///
- virtual int width() const { return 2; }
- ///
- 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;
+ /// 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 & mi, Dimension & dim) const;
+ /// draw the object as text
+ virtual void drawT(TextPainter &, int x, int y) const;
+
+ /// Where should we go when we press the up or down cursor key?
+ virtual bool idxUpDown(BufferView & bv, bool up, int targetx) const;
+ /// Where should we go when we press the up or down cursor key?
+ virtual bool idxUpDown2(BufferView & bv, bool up, int targetx) const;
/// The left key
- virtual bool idxLeft(idx_type & idx, pos_type & pos) const;
+ virtual bool idxLeft(BufferView & bv) const;
/// The right key
- virtual bool idxRight(idx_type & idx, pos_type & pos) const;
+ virtual bool idxRight(BufferView & bv) const;
/// Move one physical cell up
- virtual bool idxNext(idx_type & idx, pos_type & pos) const;
+ virtual bool idxNext(BufferView & bv) const;
/// Move one physical cell down
- virtual bool idxPrev(idx_type & idx, pos_type & pos) const;
+ virtual bool idxPrev(BufferView & bv) 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 left by pressing "Up"
- virtual bool idxFirstUp(idx_type & idx, pos_type & pos) const;
- /// Target pos when we enter the inset from the left by pressing "Down"
- virtual bool idxFirstDown(idx_type & idx, pos_type & pos) const;
+ virtual bool idxFirst(BufferView & bv) const;
/// Target pos when we enter the inset from the right by pressing "Left"
- virtual bool idxLast(idx_type & idx, pos_type & pos) const;
- /// Target pos when we enter the inset from the right by pressing "Up"
- virtual bool idxLastUp(idx_type & idx, pos_type & pos) const;
- /// Target pos when we enter the inset from the right by pressing "Down"
- virtual bool idxLastDown(idx_type & idx, pos_type & pos) const;
+ virtual bool idxLast(BufferView & bv) const;
/// Where should we go if we press home?
- virtual bool idxHome(idx_type & idx, pos_type & pos) const;
+ virtual bool idxHome(BufferView & bv) const;
/// Where should we go if we press end?
- virtual bool idxEnd(idx_type & idx, pos_type & pos) const;
+ virtual bool idxEnd(BufferView & bv) 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) {}
-
- ///
- virtual bool covers(int x, int y) const;
+ /// 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 getScreenPos(idx_type idx, pos_type pos, int & x, int & y) const;
/// identifies certain types of insets
- virtual MathArrayInset * asArrayInset() { return 0; }
- virtual MathBoxInset * asBoxInset() { return 0; }
- virtual MathCharInset const * asCharInset() const { return 0; }
- virtual MathDelimInset * asDelimInset() { return 0; }
- virtual MathDelimInset const * asDelimInset() const { return 0; }
- virtual MathFuncInset * asFuncInset() { return 0; }
- virtual MathFracInset * asFracInset() { return 0; }
- virtual MathGridInset * asGridInset() { return 0; }
- virtual MathHullInset * asHullInset() { return 0; }
- virtual MathHullInset const * asHullInset() const { return 0; }
- virtual MathMacroTemplate * asMacroTemplate() { return 0; }
- virtual MathMatrixInset const * asMatrixInset() const { return 0; }
- virtual MathNestInset * asNestInset() { return 0; }
- virtual MathScriptInset * asScriptInset() { return 0; }
- virtual MathScriptInset const * asScriptInset() const { return 0; }
- virtual MathSpaceInset * asSpaceInset() { return 0; }
- virtual MathStringInset * asStringInset() { return 0; }
- virtual MathSymbolInset * asSymbolInset() { return 0; }
- virtual UpdatableInset * asHyperActiveInset() const { return 0; }
+ 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 validate(LaTeXFeatures & features) const;
- ///
- virtual void handleFont(MathTextCodes) {}
- ///
- virtual bool match(MathInset *) const { return false; }
+ /// char char code if possible
+ virtual void handleFont(std::string const &) {}
+ /// 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 plaintext(std::ostream & os, OutputParams const &) const;
+ /// linuxdoc output
+ virtual int linuxdoc(std::ostream & os, OutputParams const &) const;
+ /// docbook output
+ virtual int docbook(std::ostream & os, OutputParams const &) const;
+
+ /// dump content to stderr for debugging
+ virtual void dump() const;
+
+ /// LyXInset stuff
+ virtual bool numberedType() const { return false; }
+ /// hull type
+ virtual std::string const & getType() const;
+ /// change type
+ virtual void mutate(std::string const &) {}
+ /// how is the inset called in the .lyx file?
+ virtual std::string fileInsetLabel() const;
+ /// usually the latex name
+ virtual std::string name() const;
};
-std::ostream & operator<<(std::ostream &, MathInset const &);
+std::ostream & operator<<(std::ostream &, MathAtom const &);
+
+// initialize math
+void initMath();
#endif