4 * Purpose: Declaration of insets for mathed
5 * Author: Alejandro Aguilar Sierra <asierra@servidor.unam.mx>
6 * Created: January 1996
7 * Description: Math paragraph and objects for a WYSIWYG math editor.
9 * Dependencies: Xlib, XForms
11 * Copyright: 1996, 1997 Alejandro Aguilar Sierra
13 * Version: 0.8beta, Math & Lyx project.
15 * You are free to use and modify this code under the terms of
16 * the GNU General Public Licence version 2 or later.
19 // Note: These math insets are internal to Math and are not derived
29 #include "frontends/mouse_state.h"
30 #include "insets/insetbase.h"
31 #include "math_data.h"
35 Abstract base class for all math objects. A math insets is for use of the
36 math editor only, it isn't a general LyX inset. It's used to represent all
39 Math insets do not know there parents, a cursor position or things
40 like that. The are dumb object that are contained in other math insets
41 (mathNestInsets, in fact) thus forming a tree. The root of this tree is
42 always a mathHullInset, which provides an interface to the Outer World by
43 inclusion in the "real LyX insets" FormulaInset and FormulaMacroInset.
49 class MathAMSArrayInset;
56 class MathMatrixInset;
58 class MathParboxInset;
59 class MathScriptInset;
60 class MathStringInset;
62 class MathSymbolInset;
63 class MathUnknownInset;
71 class MathematicaStream;
80 class MathMacroTemplate;
86 class MathInset : public InsetBase {
88 /// short of anything else reasonable
89 typedef MathArray::size_type size_type;
90 /// type for cursor positions differences within a cell
91 typedef MathArray::difference_type difference_type;
92 /// type for cursor positions within a cell
93 typedef MathArray::size_type pos_type;
94 /// type for cell indices
95 typedef size_type idx_type;
96 /// type for row numbers
97 typedef size_type row_type;
98 /// type for column numbers
99 typedef size_type col_type;
101 /// our members behave nicely...
105 virtual MathInset * clone() const = 0;
106 /// substitutes macro arguments if necessary
107 virtual void substitute(MathMacro const & macro);
108 /// compute the size of the object, sets ascend_, descend_ and width_
109 // updates the (xo,yo)-caches of all contained cells
110 virtual void metrics(MetricsInfo & mi) const;
112 virtual void draw(PainterInfo & pi, int x, int y) const;
113 /// draw selection between two positions
114 virtual void drawSelection(PainterInfo & pi,
115 idx_type idx1, pos_type pos1, idx_type idx2, pos_type pos2) const;
116 /// the ascent of the inset above the baseline
117 /// compute the size of the object for text based drawing
118 virtual void metricsT(TextMetricsInfo const & st) const;
119 /// draw the object as text
120 virtual void drawT(TextPainter &, int x, int y) const;
121 /// the ascent of the inset above the baseline
122 virtual int ascent() const { return 1; }
123 /// the descent of the inset below the baseline
124 virtual int descent() const { return 1; }
126 virtual int width() const { return 2; }
128 virtual Dimension dimensions() const;
129 /// total height (== ascent + descent)
130 virtual int height() const;
132 /// Where should we go when we press the up or down cursor key?
133 virtual bool idxUpDown(idx_type & idx, pos_type & pos, bool up,
135 /// Where should we go when we press the up or down cursor key?
136 virtual bool idxUpDown2(idx_type & idx, pos_type & pos, bool up,
139 virtual bool idxLeft(idx_type & idx, pos_type & pos) const;
141 virtual bool idxRight(idx_type & idx, pos_type & pos) const;
143 /// Move one physical cell up
144 virtual bool idxNext(idx_type & idx, pos_type & pos) const;
145 /// Move one physical cell down
146 virtual bool idxPrev(idx_type & idx, pos_type & pos) const;
148 /// Target pos when we enter the inset from the left by pressing "Right"
149 virtual bool idxFirst(idx_type & idx, pos_type & pos) const;
150 /// Target pos when we enter the inset from the right by pressing "Left"
151 virtual bool idxLast(idx_type & idx, pos_type & pos) const;
153 /// Where should we go if we press home?
154 virtual bool idxHome(idx_type & idx, pos_type & pos) const;
155 /// Where should we go if we press end?
156 virtual bool idxEnd(idx_type & idx, pos_type & pos) const;
158 /// Delete a cell and move cursor
159 virtual bool idxDelete(idx_type &) { return false; }
160 /// pulls cell after pressing erase
161 virtual void idxGlue(idx_type) {}
162 // returns list of cell indices that are "between" from and to for
163 // selection purposes
164 virtual bool idxBetween(idx_type idx, idx_type from, idx_type to) const;
166 /// the number of nested cells this inset owns
167 virtual idx_type nargs() const;
169 /// return cell given its number
170 virtual MathArray & cell(idx_type);
171 /// return cell given its number
172 virtual MathArray const & cell(idx_type) const;
174 /// the number of columns of this inset if it is grid-like
175 virtual col_type ncols() const { return 1; }
176 /// the number of rows of this inset if it is grid-like
177 virtual row_type nrows() const { return 1; }
178 /// to which column belongs a cell with a given index?
179 virtual col_type col(idx_type) const { return 0; }
180 /// to which row belongs a cell with a given index?
181 virtual row_type row(idx_type) const { return 0; }
182 /// cell idex corresponding to row and column;
183 virtual idx_type index(row_type row, col_type col) const;
184 /// any additional x-offset when drawing a cell?
185 virtual int cellXOffset(idx_type) const { return 0; }
186 /// any additional y-offset when drawing a cell?
187 virtual int cellYOffset(idx_type) const { return 0; }
188 /// can we enter this cell?
189 virtual bool validCell(idx_type) const { return true; }
191 virtual void getPos(idx_type idx, pos_type pos, int & x, int & y) const;
193 /// identifies certain types of insets
194 virtual MathAMSArrayInset * asAMSArrayInset() { return 0; }
195 virtual MathAMSArrayInset const * asAMSArrayInset() const { return 0; }
196 virtual MathArrayInset * asArrayInset() { return 0; }
197 virtual MathArrayInset const * asArrayInset() const { return 0; }
198 virtual MathCharInset const * asCharInset() const { return 0; }
199 virtual MathDelimInset * asDelimInset() { return 0; }
200 virtual MathDelimInset const * asDelimInset() const { return 0; }
201 virtual MathFracInset * asFracInset() { return 0; }
202 virtual MathFracInset const * asFracInset() const { return 0; }
203 virtual MathFontInset * asFontInset() { return 0; }
204 virtual MathFontInset const * asFontInset() const { return 0; }
205 virtual MathGridInset * asGridInset() { return 0; }
206 virtual MathGridInset const * asGridInset() const { return 0; }
207 virtual MathHullInset * asHullInset() { return 0; }
208 virtual MathHullInset const * asHullInset() const { return 0; }
209 virtual MathMacroTemplate * asMacroTemplate() { return 0; }
210 virtual MathMacroTemplate const * asMacroTemplate() const { return 0; }
211 virtual MathMatrixInset const * asMatrixInset() const { return 0; }
212 virtual MathNestInset * asNestInset() { return 0; }
213 virtual MathNestInset const * asNestInset() const { return 0; }
214 virtual MathParboxInset * asParboxInset() { return 0; }
215 virtual MathScriptInset * asScriptInset() { return 0; }
216 virtual MathScriptInset const * asScriptInset() const { return 0; }
217 virtual MathSpaceInset * asSpaceInset() { return 0; }
218 virtual MathSpaceInset const * asSpaceInset() const { return 0; }
219 virtual MathStringInset * asStringInset() { return 0; }
220 virtual MathStringInset const * asStringInset() const { return 0; }
221 virtual MathSymbolInset const * asSymbolInset() const { return 0; }
222 virtual MathUnknownInset * asUnknownInset() { return 0; }
223 virtual MathUnknownInset const * asUnknownInset() const { return 0; }
224 virtual RefInset * asRefInset() { return 0; }
226 /// identifies things that can get scripts
227 virtual bool isScriptable() const { return false; }
228 /// thing that can be moved into
229 virtual bool isActive() const { return nargs() > 0; }
230 /// is the a relational operator (used for splitting equations)
231 virtual bool isRelOp() const { return false; }
232 /// -1: text mode, 1: math mode, 0 undecided
233 enum mode_type {UNDECIDED_MODE, TEXT_MODE, MATH_MODE};
235 virtual mode_type currentMode() const { return UNDECIDED_MODE; }
236 /// will this get written as a single block in {..}
237 virtual bool extraBraces() const { return false; }
239 /// return the content as char if the inset is able to do so
240 virtual char getChar() const { return 0; }
241 /// identifies things that can get \limits or \nolimits
242 virtual bool takesLimits() const { return false; }
245 virtual void edit(BufferView *, int, int, mouse_button::state) {}
247 /// request "external features"
248 virtual void validate(LaTeXFeatures &) const {}
249 /// char char code if possible
250 virtual void handleFont(string const &) {}
251 /// is this inset equal to a given other inset?
252 virtual bool match(MathAtom const &) const { return false; }
253 /// replace things by other things
254 virtual void replace(ReplaceData &) {}
255 /// do we contain a given subsequence?
256 virtual bool contains(MathArray const &) const { return false; }
257 /// access to the lock (only nest array have one)
258 virtual bool lock() const { return false; }
259 /// access to the lock (only nest array have one)
260 virtual void lock(bool) {}
261 /// get notification when the cursor leaves this inset
262 virtual void notifyCursorLeaves(idx_type) {}
264 /// write LaTeX and Lyx code
265 virtual void write(WriteStream & os) const;
266 /// write normalized content
267 virtual void normalize(NormalStream &) const;
268 /// write content as something readable by Maple
269 virtual void maple(MapleStream &) const;
270 /// write content as something readable by Maxima
271 virtual void maxima(MaximaStream &) const;
272 /// write content as something readable by Mathematica
273 virtual void mathematica(MathematicaStream &) const;
274 /// write content as something resembling MathML
275 virtual void mathmlize(MathMLStream &) const;
276 /// write content as something readable by Octave
277 virtual void octave(OctaveStream &) const;
278 /// describe content if cursor inside
279 virtual void infoize(std::ostream &) const {}
280 /// describe content if cursor behind
281 virtual void infoize2(std::ostream &) const {}
282 /// plain ascii output
283 virtual int ascii(std::ostream & os, int) const;
285 virtual int linuxdoc(std::ostream & os) const;
287 virtual int docbook(std::ostream & os, bool) const;
289 /// dump content to stderr for debugging
290 virtual void dump() const;
293 /// write labels into a list
294 virtual void getLabelList(std::vector<string> &) const {}
296 virtual bool numberedType() const { return false; }
298 virtual string const & getType() const;
300 virtual void mutate(string const &) {}
301 /// how is the inset called in the .lyx file?
302 virtual string fileInsetLabel() const;
303 /// usually the latex name
304 virtual string name() const;
308 BufferView * view() const;
311 std::ostream & operator<<(std::ostream &, MathAtom const &);
313 // converts single cell to string
314 string asString(MathArray const & ar);
315 // converts string to single cell
316 MathArray asArray(string const & str);