1999-09-27 18:44:28 +00:00
|
|
|
// -*- 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.
|
|
|
|
*
|
|
|
|
* Dependencies: Xlib, XForms
|
|
|
|
*
|
2000-03-09 03:36:48 +00:00
|
|
|
* Copyright: 1996, 1997 Alejandro Aguilar Sierra
|
1999-09-27 18:44:28 +00:00
|
|
|
*
|
2001-06-25 00:06:33 +00:00
|
|
|
* Version: 0.8beta, Math & Lyx project.
|
1999-09-27 18:44:28 +00:00
|
|
|
*
|
|
|
|
* You are free to use and modify this code under the terms of
|
|
|
|
* the GNU General Public Licence version 2 or later.
|
|
|
|
*/
|
|
|
|
|
2001-06-25 00:06:33 +00:00
|
|
|
// Note: These math insets are internal to Math and are not derived
|
1999-09-27 18:44:28 +00:00
|
|
|
// from lyx inset.
|
|
|
|
|
2001-06-25 00:06:33 +00:00
|
|
|
#ifndef MATH_INSET_H
|
|
|
|
#define MATH_INSET_H
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2001-07-13 09:54:32 +00:00
|
|
|
#include <config.h>
|
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
#ifdef __GNUG__
|
|
|
|
#pragma interface
|
|
|
|
#endif
|
|
|
|
|
2001-11-08 12:55:58 +00:00
|
|
|
#include "math_xdata.h"
|
2001-10-19 17:46:13 +00:00
|
|
|
#include "math_defs.h"
|
2001-02-13 19:10:18 +00:00
|
|
|
|
2001-12-03 16:24:50 +00:00
|
|
|
/**
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
2001-02-15 12:22:01 +00:00
|
|
|
*/
|
2001-06-25 00:06:33 +00:00
|
|
|
|
|
|
|
|
2001-10-12 12:02:49 +00:00
|
|
|
class MathArrayInset;
|
2001-10-19 11:25:48 +00:00
|
|
|
class MathBoxInset;
|
2001-08-17 13:18:10 +00:00
|
|
|
class MathCharInset;
|
2001-11-09 08:35:57 +00:00
|
|
|
class MathDelimInset;
|
2001-11-09 10:44:24 +00:00
|
|
|
class MathFuncInset;
|
2001-10-12 12:02:49 +00:00
|
|
|
class MathGridInset;
|
2001-11-13 18:33:48 +00:00
|
|
|
class MathFracInset;
|
2001-11-08 12:28:33 +00:00
|
|
|
class MathHullInset;
|
2001-11-09 08:35:57 +00:00
|
|
|
class MathMatrixInset;
|
|
|
|
class MathNestInset;
|
2001-10-19 11:25:48 +00:00
|
|
|
class MathScriptInset;
|
2001-11-09 12:01:10 +00:00
|
|
|
class MathStringInset;
|
2001-10-12 12:02:49 +00:00
|
|
|
class MathSpaceInset;
|
2001-11-09 14:23:44 +00:00
|
|
|
class MathSymbolInset;
|
2001-07-13 14:54:56 +00:00
|
|
|
|
2001-11-09 08:35:57 +00:00
|
|
|
class NormalStream;
|
|
|
|
class OctaveStream;
|
|
|
|
class MapleStream;
|
|
|
|
class MathMLStream;
|
|
|
|
class WriteStream;
|
2002-01-16 14:24:38 +00:00
|
|
|
class InfoStream;
|
2001-11-09 08:35:57 +00:00
|
|
|
class MathArray;
|
|
|
|
|
2001-10-19 11:25:48 +00:00
|
|
|
class LaTeXFeatures;
|
2001-10-24 19:09:31 +00:00
|
|
|
class BufferView;
|
|
|
|
class UpdatableInset;
|
2001-11-09 14:23:44 +00:00
|
|
|
class MathMacroTemplate;
|
2001-12-05 17:50:18 +00:00
|
|
|
class MathPosFinder;
|
2001-10-19 11:25:48 +00:00
|
|
|
|
|
|
|
|
2001-06-25 00:06:33 +00:00
|
|
|
class MathInset {
|
2001-02-15 12:22:01 +00:00
|
|
|
public:
|
2001-09-26 16:52:34 +00:00
|
|
|
/// short of anything else reasonable
|
2002-01-08 11:03:34 +00:00
|
|
|
typedef MathArray::size_type size_type;
|
|
|
|
/// type for cursor positions differences within a cell
|
|
|
|
typedef MathArray::difference_type difference_type;
|
2001-09-26 16:52:34 +00:00
|
|
|
/// type for cursor positions within a cell
|
2002-01-08 11:03:34 +00:00
|
|
|
typedef MathArray::size_type pos_type;
|
2001-09-26 16:52:34 +00:00
|
|
|
/// type for cell indices
|
2002-01-08 11:03:34 +00:00
|
|
|
typedef size_type idx_type;
|
2001-09-26 16:52:34 +00:00
|
|
|
/// type for row numbers
|
2002-01-08 11:03:34 +00:00
|
|
|
typedef size_type row_type;
|
2001-09-26 16:52:34 +00:00
|
|
|
/// type for column numbers
|
2002-01-08 11:03:34 +00:00
|
|
|
typedef size_type col_type;
|
2001-09-14 14:05:57 +00:00
|
|
|
|
2001-12-03 16:24:50 +00:00
|
|
|
/// our members behave nicely...
|
|
|
|
MathInset() {}
|
2001-07-26 06:56:43 +00:00
|
|
|
/// the virtual base destructor
|
2001-12-03 16:24:50 +00:00
|
|
|
virtual ~MathInset() {}
|
2001-06-25 00:06:33 +00:00
|
|
|
|
2001-10-24 09:16:06 +00:00
|
|
|
/// draw the object
|
2001-08-06 17:20:26 +00:00
|
|
|
virtual void draw(Painter &, int x, int y) const;
|
2001-07-26 06:56:43 +00:00
|
|
|
/// reproduce itself
|
2001-06-28 10:25:20 +00:00
|
|
|
virtual MathInset * clone() const = 0;
|
2001-11-22 09:48:57 +00:00
|
|
|
/// substitutes macro arguments if necessary
|
2001-09-11 15:46:51 +00:00
|
|
|
virtual void substitute(MathMacro const & macro);
|
2001-07-26 06:56:43 +00:00
|
|
|
/// compute the size of the object, sets ascend_, descend_ and width_
|
2001-11-22 09:48:57 +00:00
|
|
|
// updates the (xo,yo)-caches of all contained cells
|
2001-10-19 11:25:48 +00:00
|
|
|
virtual void metrics(MathMetricsInfo const & st) const;
|
2001-11-22 09:48:57 +00:00
|
|
|
/// the ascent of the inset above the baseline
|
2001-08-06 17:20:26 +00:00
|
|
|
virtual int ascent() const { return 1; }
|
2001-11-22 09:48:57 +00:00
|
|
|
/// the descent of the inset below the baseline
|
2001-08-06 17:20:26 +00:00
|
|
|
virtual int descent() const { return 1; }
|
2001-11-22 09:48:57 +00:00
|
|
|
/// total width
|
2001-08-06 17:20:26 +00:00
|
|
|
virtual int width() const { return 2; }
|
2001-11-22 09:48:57 +00:00
|
|
|
/// total height (== ascent + descent)
|
2001-06-25 00:06:33 +00:00
|
|
|
virtual int height() const;
|
|
|
|
|
|
|
|
/// Where should we go when we press the up cursor key?
|
2001-12-12 13:11:28 +00:00
|
|
|
virtual bool idxUp(idx_type & idx) const;
|
2001-06-25 00:06:33 +00:00
|
|
|
/// The down key
|
2001-12-12 13:11:28 +00:00
|
|
|
virtual bool idxDown(idx_type & idx) const;
|
2001-06-25 00:06:33 +00:00
|
|
|
/// The left key
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual bool idxLeft(idx_type & idx, pos_type & pos) const;
|
2001-06-25 00:06:33 +00:00
|
|
|
/// The right key
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual bool idxRight(idx_type & idx, pos_type & pos) const;
|
2001-06-27 14:10:35 +00:00
|
|
|
|
2001-07-06 12:09:32 +00:00
|
|
|
/// Move one physical cell up
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual bool idxNext(idx_type & idx, pos_type & pos) const;
|
2001-07-06 12:09:32 +00:00
|
|
|
/// Move one physical cell down
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual bool idxPrev(idx_type & idx, pos_type & pos) const;
|
2001-07-06 12:09:32 +00:00
|
|
|
|
2001-06-27 14:10:35 +00:00
|
|
|
/// Target pos when we enter the inset from the left by pressing "Right"
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual bool idxFirst(idx_type & idx, pos_type & pos) const;
|
2001-06-27 14:10:35 +00:00
|
|
|
/// Target pos when we enter the inset from the right by pressing "Left"
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual bool idxLast(idx_type & idx, pos_type & pos) const;
|
2001-06-25 00:06:33 +00:00
|
|
|
|
|
|
|
/// Where should we go if we press home?
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual bool idxHome(idx_type & idx, pos_type & pos) const;
|
2001-06-25 00:06:33 +00:00
|
|
|
/// Where should we go if we press end?
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual bool idxEnd(idx_type & idx, pos_type & pos) const;
|
2001-06-25 00:06:33 +00:00
|
|
|
|
2001-06-27 14:10:35 +00:00
|
|
|
/// Delete a cell and move cursor
|
2001-07-09 16:59:57 +00:00
|
|
|
// the return value indicates whether the cursor should leave the inset
|
|
|
|
// and/or the whole inset should be deleted
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual void idxDelete(idx_type & idx, bool & popit, bool & deleteit);
|
2001-07-16 15:53:25 +00:00
|
|
|
// deletes a cell range and moves the cursor
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual void idxDeleteRange(idx_type from, idx_type to);
|
2001-07-16 15:53:25 +00:00
|
|
|
// returns list of cell indices that are "between" from and to for
|
2001-08-03 17:10:22 +00:00
|
|
|
// selection purposes
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual std::vector<idx_type> idxBetween(idx_type from, idx_type to) const;
|
2001-06-27 14:10:35 +00:00
|
|
|
|
2001-11-22 09:48:57 +00:00
|
|
|
/// the number of nested cells this inset owns
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual idx_type nargs() const;
|
2001-06-25 00:06:33 +00:00
|
|
|
|
2001-11-22 09:48:57 +00:00
|
|
|
/// return cell given its number
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual MathArray & cell(idx_type);
|
2001-11-22 09:48:57 +00:00
|
|
|
/// return cell given its number
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual MathArray const & cell(idx_type) const;
|
2001-11-22 09:48:57 +00:00
|
|
|
/// return cell plus drawing cache given its number
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual MathXArray & xcell(idx_type);
|
2001-11-22 09:48:57 +00:00
|
|
|
/// return cell plus drawing cache given its number
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual MathXArray const & xcell(idx_type) const;
|
2001-06-25 00:06:33 +00:00
|
|
|
|
2001-11-22 09:48:57 +00:00
|
|
|
/// the number of columns of this inset if it is grid-like
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual col_type ncols() const { return 1; }
|
2001-11-22 09:48:57 +00:00
|
|
|
/// the number of rows of this inset if it is grid-like
|
2001-09-26 16:52:34 +00:00
|
|
|
virtual row_type nrows() const { return 1; }
|
2001-11-22 09:48:57 +00:00
|
|
|
/// 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; }
|
2001-12-15 16:13:11 +00:00
|
|
|
/// cell idex corresponding to row and column;
|
|
|
|
virtual idx_type index(row_type row, col_type col) const;
|
2001-11-22 09:48:57 +00:00
|
|
|
/// 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; }
|
2001-06-25 00:06:33 +00:00
|
|
|
|
2001-11-09 12:01:10 +00:00
|
|
|
/// identifies certain types of insets
|
2001-11-09 10:44:24 +00:00
|
|
|
virtual MathArrayInset * asArrayInset() { return 0; }
|
|
|
|
virtual MathBoxInset * asBoxInset() { return 0; }
|
2001-12-18 12:21:33 +00:00
|
|
|
virtual MathBoxInset const * asBoxInset() const { return 0; }
|
2001-11-09 12:01:10 +00:00
|
|
|
virtual MathCharInset const * asCharInset() const { return 0; }
|
2001-11-09 10:44:24 +00:00
|
|
|
virtual MathDelimInset * asDelimInset() { return 0; }
|
|
|
|
virtual MathDelimInset const * asDelimInset() const { return 0; }
|
|
|
|
virtual MathFuncInset * asFuncInset() { return 0; }
|
2001-11-13 18:33:48 +00:00
|
|
|
virtual MathFracInset * asFracInset() { return 0; }
|
2001-11-09 12:01:10 +00:00
|
|
|
virtual MathGridInset * asGridInset() { return 0; }
|
|
|
|
virtual MathHullInset * asHullInset() { return 0; }
|
|
|
|
virtual MathHullInset const * asHullInset() const { return 0; }
|
2001-11-09 10:44:24 +00:00
|
|
|
virtual MathMacroTemplate * asMacroTemplate() { return 0; }
|
2001-11-09 12:01:10 +00:00
|
|
|
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; }
|
2001-11-27 13:57:49 +00:00
|
|
|
virtual MathSymbolInset const * asSymbolInset() const { return 0; }
|
2001-11-09 10:44:24 +00:00
|
|
|
virtual UpdatableInset * asHyperActiveInset() const { return 0; }
|
2001-10-12 12:02:49 +00:00
|
|
|
|
|
|
|
/// identifies things that can get scripts
|
|
|
|
virtual bool isScriptable() const { return false; }
|
2001-11-09 10:44:24 +00:00
|
|
|
/// thing that can be moved into
|
2001-06-27 14:10:35 +00:00
|
|
|
virtual bool isActive() const { return nargs() > 0; }
|
2001-10-24 18:29:55 +00:00
|
|
|
/// identifies insets from the outer world
|
|
|
|
virtual bool isHyperActive() const { return 0; }
|
2001-11-22 09:48:57 +00:00
|
|
|
/// is the a relational operator (used for splitting equations)
|
2001-08-09 08:53:16 +00:00
|
|
|
virtual bool isRelOp() const { return false; }
|
2001-10-12 12:02:49 +00:00
|
|
|
|
2001-11-22 09:48:57 +00:00
|
|
|
/// return the content as char if the inset is able to do so
|
2001-08-03 17:10:22 +00:00
|
|
|
virtual char getChar() const { return 0; }
|
2001-11-22 09:48:57 +00:00
|
|
|
/// return the content's char code if it has one
|
2001-08-14 11:19:19 +00:00
|
|
|
virtual MathTextCodes code() const { return LM_TC_MIN; }
|
2001-09-11 10:58:17 +00:00
|
|
|
/// identifies things that can get \limits or \nolimits
|
|
|
|
virtual bool takesLimits() const { return false; }
|
2001-06-25 00:06:33 +00:00
|
|
|
|
2001-10-24 19:09:31 +00:00
|
|
|
///
|
|
|
|
virtual void edit(BufferView *, int, int, unsigned int) {}
|
2001-06-25 00:06:33 +00:00
|
|
|
|
2001-11-22 09:48:57 +00:00
|
|
|
/// request "external features"
|
2001-08-03 17:10:22 +00:00
|
|
|
virtual void validate(LaTeXFeatures & features) const;
|
2001-11-22 09:48:57 +00:00
|
|
|
/// char char code if possible
|
2001-08-10 13:17:39 +00:00
|
|
|
virtual void handleFont(MathTextCodes) {}
|
2001-11-22 09:48:57 +00:00
|
|
|
/// is this inset equal to a given other inset?
|
2001-11-16 09:07:40 +00:00
|
|
|
virtual bool match(MathInset *) const { return false; }
|
2001-11-22 09:48:57 +00:00
|
|
|
/// replace things by other things
|
2001-11-16 09:55:37 +00:00
|
|
|
virtual void replace(ReplaceData &) {}
|
2001-11-07 08:51:35 +00:00
|
|
|
|
2002-01-11 15:23:10 +00:00
|
|
|
/// write LaTeX and Lyx code
|
|
|
|
virtual void write(WriteStream & os) const;
|
2001-11-08 12:06:56 +00:00
|
|
|
/// write normalized content
|
2001-11-09 08:35:57 +00:00
|
|
|
virtual void normalize(NormalStream &) const;
|
2001-11-22 09:48:57 +00:00
|
|
|
/// write content as something readable by Maple
|
2001-11-07 17:30:26 +00:00
|
|
|
virtual void maplize(MapleStream &) const;
|
2001-11-22 09:48:57 +00:00
|
|
|
/// write content as something resembling MathML
|
2001-11-07 17:30:26 +00:00
|
|
|
virtual void mathmlize(MathMLStream &) const;
|
2001-11-22 09:48:57 +00:00
|
|
|
/// write content as something readable by Octave
|
2001-11-08 12:06:56 +00:00
|
|
|
virtual void octavize(OctaveStream &) const;
|
2002-01-16 14:24:38 +00:00
|
|
|
/// describe content
|
|
|
|
virtual void infoize(std::ostream &) const {}
|
2001-11-22 09:48:57 +00:00
|
|
|
|
|
|
|
/// dump content to stderr for debugging
|
|
|
|
virtual void dump() const;
|
1999-09-27 18:44:28 +00:00
|
|
|
};
|
2001-06-25 00:06:33 +00:00
|
|
|
|
|
|
|
std::ostream & operator<<(std::ostream &, MathInset const &);
|
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
#endif
|