2001-02-13 13:28:32 +00:00
|
|
|
|
// -*- C++ -*-
|
2001-11-08 12:30:26 +00:00
|
|
|
|
#ifndef MATH_HULLINSET_H
|
|
|
|
|
#define MATH_HULLINSET_H
|
2001-02-13 13:28:32 +00:00
|
|
|
|
|
2001-07-17 07:38:41 +00:00
|
|
|
|
#include "math_gridinset.h"
|
2001-02-13 13:28:32 +00:00
|
|
|
|
|
2001-02-26 12:53:35 +00:00
|
|
|
|
|
2001-11-08 12:30:26 +00:00
|
|
|
|
/** This provides an interface between "LyX insets" and "LyX math insets"
|
|
|
|
|
* \author Andr<EFBFBD> P<EFBFBD>nitz
|
2002-09-11 08:26:02 +00:00
|
|
|
|
*
|
|
|
|
|
* Full author contact details are available in file CREDITS
|
2001-11-08 12:30:26 +00:00
|
|
|
|
*/
|
2001-06-25 00:06:33 +00:00
|
|
|
|
|
|
|
|
|
class LaTeXFeatures;
|
|
|
|
|
|
2001-11-08 12:30:26 +00:00
|
|
|
|
class MathHullInset : public MathGridInset {
|
2002-03-21 17:42:56 +00:00
|
|
|
|
public:
|
2001-02-16 09:25:43 +00:00
|
|
|
|
///
|
2001-11-08 12:30:26 +00:00
|
|
|
|
MathHullInset();
|
2001-06-25 00:06:33 +00:00
|
|
|
|
///
|
2002-07-03 10:36:44 +00:00
|
|
|
|
explicit MathHullInset(string const & type);
|
2001-06-25 00:06:33 +00:00
|
|
|
|
///
|
2001-06-28 10:25:20 +00:00
|
|
|
|
MathInset * clone() const;
|
2001-06-25 00:06:33 +00:00
|
|
|
|
///
|
2002-07-18 11:02:33 +00:00
|
|
|
|
mode_type currentMode() const;
|
|
|
|
|
///
|
2003-03-21 14:20:48 +00:00
|
|
|
|
void metrics(MetricsInfo & mi) const;
|
2001-02-16 09:25:43 +00:00
|
|
|
|
///
|
2003-03-21 14:20:48 +00:00
|
|
|
|
void draw(PainterInfo &, int x, int y) const;
|
2001-02-16 09:25:43 +00:00
|
|
|
|
///
|
2002-06-24 15:37:14 +00:00
|
|
|
|
void metricsT(TextMetricsInfo const & mi) const;
|
2002-03-18 11:45:53 +00:00
|
|
|
|
///
|
2002-05-02 07:30:49 +00:00
|
|
|
|
void drawT(TextPainter &, int x, int y) const;
|
2002-03-18 11:45:53 +00:00
|
|
|
|
///
|
2001-09-26 16:52:34 +00:00
|
|
|
|
string label(row_type row) const;
|
2001-02-16 09:25:43 +00:00
|
|
|
|
///
|
2001-09-26 16:52:34 +00:00
|
|
|
|
void label(row_type row, string const & label);
|
2001-02-16 09:25:43 +00:00
|
|
|
|
///
|
2001-09-26 16:52:34 +00:00
|
|
|
|
void numbered(row_type row, bool num);
|
2001-02-16 09:25:43 +00:00
|
|
|
|
///
|
2001-09-26 16:52:34 +00:00
|
|
|
|
bool numbered(row_type row) const;
|
2001-02-16 09:25:43 +00:00
|
|
|
|
///
|
2001-06-25 00:06:33 +00:00
|
|
|
|
bool numberedType() const;
|
2001-02-16 09:25:43 +00:00
|
|
|
|
///
|
2001-06-25 00:06:33 +00:00
|
|
|
|
bool display() const;
|
2001-02-16 09:25:43 +00:00
|
|
|
|
///
|
2001-06-25 00:06:33 +00:00
|
|
|
|
bool ams() const;
|
2002-08-13 17:43:40 +00:00
|
|
|
|
/// local dispatcher
|
2003-02-18 11:47:16 +00:00
|
|
|
|
dispatch_result dispatch(FuncRequest const & cmd, idx_type & idx, pos_type & pos);
|
2002-12-01 22:59:25 +00:00
|
|
|
|
///
|
2002-08-02 13:35:05 +00:00
|
|
|
|
void getLabelList(std::vector<string> &) const;
|
2001-02-16 09:25:43 +00:00
|
|
|
|
///
|
2001-07-26 06:56:43 +00:00
|
|
|
|
void validate(LaTeXFeatures & features) const;
|
2001-10-12 12:02:49 +00:00
|
|
|
|
/// identifies MatrixInsets
|
2001-12-11 15:04:02 +00:00
|
|
|
|
MathHullInset const * asHullInset() const { return this; }
|
2001-11-09 08:35:57 +00:00
|
|
|
|
/// identifies HullInset
|
2001-12-11 15:04:02 +00:00
|
|
|
|
MathHullInset * asHullInset() { return this; }
|
2001-02-16 09:25:43 +00:00
|
|
|
|
|
2002-08-21 13:47:52 +00:00
|
|
|
|
/// add a row
|
|
|
|
|
void addRow(row_type row);
|
|
|
|
|
/// delete a row
|
|
|
|
|
void delRow(row_type row);
|
|
|
|
|
/// add a column
|
|
|
|
|
void addCol(col_type col);
|
|
|
|
|
/// delete a column
|
|
|
|
|
void delCol(col_type col);
|
2001-02-16 09:25:43 +00:00
|
|
|
|
|
2002-07-03 10:36:44 +00:00
|
|
|
|
/// get type
|
|
|
|
|
string const & getType() const;
|
2001-06-25 00:06:33 +00:00
|
|
|
|
/// change type
|
|
|
|
|
void mutate(string const &);
|
2001-09-04 13:32:06 +00:00
|
|
|
|
|
|
|
|
|
///
|
2001-09-26 16:52:34 +00:00
|
|
|
|
int defaultColSpace(col_type col);
|
2001-09-04 13:32:06 +00:00
|
|
|
|
///
|
2001-09-26 16:52:34 +00:00
|
|
|
|
char defaultColAlign(col_type col);
|
2002-06-18 15:44:30 +00:00
|
|
|
|
///
|
|
|
|
|
bool idxFirst(idx_type &, pos_type &) const;
|
|
|
|
|
///
|
|
|
|
|
bool idxLast(idx_type &, pos_type &) const;
|
2001-02-16 09:25:43 +00:00
|
|
|
|
|
2001-11-07 18:15:24 +00:00
|
|
|
|
///
|
2001-11-09 18:02:20 +00:00
|
|
|
|
void write(WriteStream & os) const;
|
|
|
|
|
///
|
2001-11-07 18:15:24 +00:00
|
|
|
|
void mathmlize(MathMLStream &) const;
|
2001-11-09 18:02:20 +00:00
|
|
|
|
///
|
|
|
|
|
void normalize(NormalStream &) const;
|
2002-05-30 07:09:54 +00:00
|
|
|
|
///
|
|
|
|
|
void infoize(std::ostream & os) const;
|
2001-08-01 13:28:45 +00:00
|
|
|
|
|
2002-08-15 17:41:24 +00:00
|
|
|
|
protected:
|
2002-12-01 22:59:25 +00:00
|
|
|
|
///
|
2002-08-15 17:41:24 +00:00
|
|
|
|
string eolString(row_type row, bool fragile) const;
|
|
|
|
|
|
2001-06-25 00:06:33 +00:00
|
|
|
|
private:
|
2001-09-04 13:32:06 +00:00
|
|
|
|
///
|
2002-07-03 10:36:44 +00:00
|
|
|
|
void setType(string const & type);
|
2001-06-25 00:06:33 +00:00
|
|
|
|
///
|
2001-07-26 06:56:43 +00:00
|
|
|
|
void validate1(LaTeXFeatures & features);
|
2001-06-25 00:06:33 +00:00
|
|
|
|
///
|
2001-11-19 19:06:05 +00:00
|
|
|
|
void header_write(WriteStream &) const;
|
2001-06-25 00:06:33 +00:00
|
|
|
|
///
|
2001-11-19 19:06:05 +00:00
|
|
|
|
void footer_write(WriteStream &) const;
|
2001-06-25 00:06:33 +00:00
|
|
|
|
///
|
2002-06-24 15:37:14 +00:00
|
|
|
|
string nicelabel(row_type row) const;
|
|
|
|
|
///
|
2002-08-14 16:43:16 +00:00
|
|
|
|
void doExtern(FuncRequest const & func, idx_type & idx, pos_type & pos);
|
|
|
|
|
///
|
2001-06-25 00:06:33 +00:00
|
|
|
|
void glueall();
|
|
|
|
|
///
|
2002-06-24 15:37:14 +00:00
|
|
|
|
char const * standardFont() const;
|
2001-12-11 15:04:02 +00:00
|
|
|
|
/// consistency check
|
|
|
|
|
void check() const;
|
2002-08-21 13:47:52 +00:00
|
|
|
|
/// can this change its number of cols?
|
|
|
|
|
bool colChangeOK() const;
|
2001-02-16 09:25:43 +00:00
|
|
|
|
|
2002-07-04 11:00:51 +00:00
|
|
|
|
/// "none", "simple", "display", "eqnarray",...
|
2002-07-03 10:36:44 +00:00
|
|
|
|
string type_;
|
2001-06-25 00:06:33 +00:00
|
|
|
|
///
|
|
|
|
|
std::vector<int> nonum_;
|
|
|
|
|
///
|
|
|
|
|
std::vector<string> label_;
|
|
|
|
|
};
|
2001-02-16 09:25:43 +00:00
|
|
|
|
|
2001-02-13 13:28:32 +00:00
|
|
|
|
#endif
|