2003-08-19 13:00:56 +00:00
|
|
|
/**
|
2007-04-25 03:01:35 +00:00
|
|
|
* \file InsetMathChar.cpp
|
2003-08-19 13:00:56 +00:00
|
|
|
* This file is part of LyX, the document processor.
|
|
|
|
* Licence details can be found in the file COPYING.
|
|
|
|
*
|
|
|
|
* \author Alejandro Aguilar Sierra
|
2008-11-14 15:58:50 +00:00
|
|
|
* \author André Pönitz
|
2003-08-19 13:00:56 +00:00
|
|
|
*
|
|
|
|
* Full author contact details are available in file CREDITS.
|
|
|
|
*/
|
|
|
|
|
2001-12-18 03:16:46 +00:00
|
|
|
#include <config.h>
|
|
|
|
|
2006-09-17 09:14:18 +00:00
|
|
|
#include "InsetMathChar.h"
|
2007-11-05 23:46:17 +00:00
|
|
|
|
2006-09-17 09:14:18 +00:00
|
|
|
#include "MathSupport.h"
|
2006-10-22 10:15:23 +00:00
|
|
|
#include "MathStream.h"
|
2007-11-05 23:46:17 +00:00
|
|
|
#include "MetricsInfo.h"
|
2003-10-06 09:57:03 +00:00
|
|
|
|
2007-04-26 04:41:58 +00:00
|
|
|
#include "Dimension.h"
|
2013-09-26 20:22:02 +00:00
|
|
|
#include "BufferEncodings.h"
|
2008-05-31 20:54:50 +00:00
|
|
|
#include "LaTeXFeatures.h"
|
2006-09-17 09:14:18 +00:00
|
|
|
#include "TextPainter.h"
|
2001-08-06 06:23:09 +00:00
|
|
|
|
2006-10-07 16:15:06 +00:00
|
|
|
#include "frontends/FontMetrics.h"
|
|
|
|
|
2008-02-18 07:14:42 +00:00
|
|
|
#include "support/debug.h"
|
|
|
|
#include "support/lstrings.h"
|
2008-09-26 15:53:15 +00:00
|
|
|
#include "support/textutils.h"
|
2008-02-18 07:14:42 +00:00
|
|
|
|
2006-10-21 00:16:43 +00:00
|
|
|
|
|
|
|
namespace lyx {
|
|
|
|
|
2002-10-28 10:39:12 +00:00
|
|
|
extern bool has_math_fonts;
|
2002-03-20 07:30:32 +00:00
|
|
|
|
2002-02-16 15:59:55 +00:00
|
|
|
|
2007-11-05 23:46:17 +00:00
|
|
|
static bool slanted(char_type c)
|
|
|
|
{
|
2008-09-26 15:53:15 +00:00
|
|
|
return isAlphaASCII(c) || Encodings::isMathAlpha(c);
|
2001-08-17 15:47:02 +00:00
|
|
|
}
|
2001-08-06 06:23:09 +00:00
|
|
|
|
|
|
|
|
2006-10-22 10:15:23 +00:00
|
|
|
InsetMathChar::InsetMathChar(char_type c)
|
2007-03-21 17:21:59 +00:00
|
|
|
: char_(c), kerning_(0)
|
2002-05-30 07:09:54 +00:00
|
|
|
{}
|
|
|
|
|
2001-08-17 09:48:24 +00:00
|
|
|
|
|
|
|
|
2007-08-30 18:03:17 +00:00
|
|
|
Inset * InsetMathChar::clone() const
|
2002-03-21 17:42:56 +00:00
|
|
|
{
|
2007-08-30 18:03:17 +00:00
|
|
|
return new InsetMathChar(*this);
|
2001-08-06 06:23:09 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2007-09-21 20:39:47 +00:00
|
|
|
void InsetMathChar::metrics(MetricsInfo & mi, Dimension & dim) const
|
2001-08-06 17:20:26 +00:00
|
|
|
{
|
2002-05-30 07:09:54 +00:00
|
|
|
#if 1
|
2002-10-28 10:39:12 +00:00
|
|
|
if (char_ == '=' && has_math_fonts) {
|
2016-05-23 21:30:23 +00:00
|
|
|
Changer dummy = mi.base.changeFontSet("cmr");
|
2006-12-04 10:45:43 +00:00
|
|
|
dim = theFontMetrics(mi.base.font).dimension(char_);
|
2002-10-28 10:39:12 +00:00
|
|
|
} else if ((char_ == '>' || char_ == '<') && has_math_fonts) {
|
2016-05-23 21:30:23 +00:00
|
|
|
Changer dummy = mi.base.changeFontSet("cmm");
|
2006-12-04 10:45:43 +00:00
|
|
|
dim = theFontMetrics(mi.base.font).dimension(char_);
|
2003-10-02 13:41:00 +00:00
|
|
|
} else if (!slanted(char_) && mi.base.fontname == "mathnormal") {
|
2016-05-23 21:30:23 +00:00
|
|
|
Changer dummy = mi.base.font.changeShape(UP_SHAPE);
|
2006-12-04 10:45:43 +00:00
|
|
|
dim = theFontMetrics(mi.base.font).dimension(char_);
|
2002-05-30 07:09:54 +00:00
|
|
|
} else {
|
2007-03-21 17:21:59 +00:00
|
|
|
frontend::FontMetrics const & fm = theFontMetrics(mi.base.font);
|
|
|
|
dim = fm.dimension(char_);
|
|
|
|
kerning_ = fm.rbearing(char_) - dim.wid;
|
2002-05-30 07:09:54 +00:00
|
|
|
}
|
2016-05-24 10:08:24 +00:00
|
|
|
if (isMathBin())
|
|
|
|
dim.wid += 2 * mathed_medmuskip(mi.base.font);
|
|
|
|
else if (isMathRel())
|
|
|
|
dim.wid += 2 * mathed_thickmuskip(mi.base.font);
|
|
|
|
else if (isMathPunct())
|
|
|
|
dim.wid += mathed_thinmuskip(mi.base.font);
|
2002-10-28 10:39:12 +00:00
|
|
|
else if (char_ == '\'')
|
2016-05-24 10:08:24 +00:00
|
|
|
// FIXME: don't know where this is coming from
|
|
|
|
dim.wid += mathed_thinmuskip(mi.base.font);
|
2002-05-30 07:09:54 +00:00
|
|
|
#else
|
2002-03-19 16:55:58 +00:00
|
|
|
whichFont(font_, code_, mi);
|
2006-12-04 10:45:43 +00:00
|
|
|
dim = theFontMetrics(font_).dimension(char_);
|
2002-03-20 07:30:32 +00:00
|
|
|
if (isBinaryOp(char_, code_))
|
2007-04-22 08:26:06 +00:00
|
|
|
dim.wid += 2 * theFontMetrics(font_).width(' ');
|
2006-09-16 18:11:38 +00:00
|
|
|
lyxerr << "InsetMathChar::metrics: " << dim << endl;
|
2002-05-30 07:09:54 +00:00
|
|
|
#endif
|
2001-08-06 17:20:26 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-09-16 18:11:38 +00:00
|
|
|
void InsetMathChar::draw(PainterInfo & pi, int x, int y) const
|
2002-03-21 17:42:56 +00:00
|
|
|
{
|
2015-12-07 07:02:04 +00:00
|
|
|
//lyxerr << "drawing '" << char_ << "' font: " << pi.base.fontname << std::endl;
|
2016-05-24 10:08:24 +00:00
|
|
|
if (isMathBin())
|
|
|
|
x += mathed_medmuskip(pi.base.font);
|
|
|
|
else if (isMathRel())
|
|
|
|
x += mathed_thickmuskip(pi.base.font);
|
2002-10-28 10:39:12 +00:00
|
|
|
else if (char_ == '\'')
|
2016-05-24 10:08:24 +00:00
|
|
|
x += mathed_thinmuskip(pi.base.font) / 2;
|
2002-05-30 07:09:54 +00:00
|
|
|
#if 1
|
2002-10-28 10:39:12 +00:00
|
|
|
if (char_ == '=' && has_math_fonts) {
|
2016-05-23 21:30:23 +00:00
|
|
|
Changer dummy = pi.base.changeFontSet("cmr");
|
2002-10-28 10:39:12 +00:00
|
|
|
pi.draw(x, y, char_);
|
|
|
|
} else if ((char_ == '>' || char_ == '<') && has_math_fonts) {
|
2016-05-23 21:30:23 +00:00
|
|
|
Changer dummy = pi.base.changeFontSet("cmm");
|
2002-10-28 10:39:12 +00:00
|
|
|
pi.draw(x, y, char_);
|
2003-10-02 13:41:00 +00:00
|
|
|
} else if (!slanted(char_) && pi.base.fontname == "mathnormal") {
|
2016-05-23 21:30:23 +00:00
|
|
|
Changer dummy = pi.base.font.changeShape(UP_SHAPE);
|
2002-05-30 07:09:54 +00:00
|
|
|
pi.draw(x, y, char_);
|
|
|
|
} else {
|
|
|
|
pi.draw(x, y, char_);
|
|
|
|
}
|
|
|
|
#else
|
2002-03-19 16:55:58 +00:00
|
|
|
drawChar(pain, font_, x, y, char_);
|
2002-05-30 07:09:54 +00:00
|
|
|
#endif
|
2002-03-19 16:55:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-09-16 18:11:38 +00:00
|
|
|
void InsetMathChar::metricsT(TextMetricsInfo const &, Dimension & dim) const
|
2002-03-19 16:55:58 +00:00
|
|
|
{
|
2003-05-28 13:22:36 +00:00
|
|
|
dim.wid = 1;
|
|
|
|
dim.asc = 1;
|
|
|
|
dim.des = 0;
|
2002-03-19 16:55:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-09-16 18:11:38 +00:00
|
|
|
void InsetMathChar::drawT(TextPainter & pain, int x, int y) const
|
2002-03-21 17:42:56 +00:00
|
|
|
{
|
2002-03-20 07:30:32 +00:00
|
|
|
//lyxerr << "drawing text '" << char_ << "' code: " << code_ << endl;
|
2002-03-19 16:55:58 +00:00
|
|
|
pain.draw(x, y, char_);
|
2001-08-06 06:23:09 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-09-16 18:11:38 +00:00
|
|
|
void InsetMathChar::write(WriteStream & os) const
|
2001-08-17 13:18:10 +00:00
|
|
|
{
|
2006-10-22 10:15:23 +00:00
|
|
|
os.os().put(char_);
|
2001-08-17 13:18:10 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2008-05-31 20:54:50 +00:00
|
|
|
void InsetMathChar::validate(LaTeXFeatures & features) const
|
|
|
|
{
|
2012-12-30 10:58:21 +00:00
|
|
|
if (!isASCII(char_))
|
2013-09-26 20:22:02 +00:00
|
|
|
BufferEncodings::validate(char_, features, true);
|
2008-05-31 20:54:50 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-09-16 18:11:38 +00:00
|
|
|
void InsetMathChar::normalize(NormalStream & os) const
|
2001-08-06 06:23:09 +00:00
|
|
|
{
|
2006-10-22 10:15:23 +00:00
|
|
|
os << "[char ";
|
|
|
|
os.os().put(char_);
|
|
|
|
os << " mathalpha]";
|
2001-08-06 06:23:09 +00:00
|
|
|
}
|
2001-08-09 08:53:16 +00:00
|
|
|
|
|
|
|
|
2006-09-16 18:11:38 +00:00
|
|
|
void InsetMathChar::octave(OctaveStream & os) const
|
2002-06-18 15:44:30 +00:00
|
|
|
{
|
2006-10-22 10:15:23 +00:00
|
|
|
os.os().put(char_);
|
2002-06-18 15:44:30 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2009-11-14 20:38:22 +00:00
|
|
|
// We have a bit of a problem here. MathML wants to know whether the
|
|
|
|
// character represents an "identifier" or an "operator", and we have
|
2009-11-14 20:40:09 +00:00
|
|
|
// no general way of telling. So we shall guess: If it's alpha or
|
|
|
|
// mathalpha, then we'll treat it as an identifier, otherwise as an
|
|
|
|
// operator.
|
|
|
|
// Worst case: We get bad spacing, or bad italics.
|
2009-12-31 15:46:39 +00:00
|
|
|
void InsetMathChar::mathmlize(MathStream & ms) const
|
2005-07-14 22:41:59 +00:00
|
|
|
{
|
2009-12-31 18:38:01 +00:00
|
|
|
std::string entity;
|
2005-07-14 22:41:59 +00:00
|
|
|
switch (char_) {
|
2009-12-31 18:38:01 +00:00
|
|
|
case '<': entity = "<"; break;
|
|
|
|
case '>': entity = ">"; break;
|
|
|
|
case '&': entity = "&"; break;
|
2011-04-01 22:34:40 +00:00
|
|
|
case ' ': {
|
2011-04-02 14:42:09 +00:00
|
|
|
ms << from_ascii(" ");
|
2011-04-01 22:34:40 +00:00
|
|
|
return;
|
|
|
|
}
|
2009-11-14 20:38:22 +00:00
|
|
|
default: break;
|
2005-07-14 22:41:59 +00:00
|
|
|
}
|
2009-11-14 20:38:22 +00:00
|
|
|
|
2009-12-31 18:38:01 +00:00
|
|
|
if (ms.inText()) {
|
|
|
|
if (entity.empty())
|
2010-01-14 13:29:13 +00:00
|
|
|
ms.os().put(char_);
|
2009-12-31 18:38:01 +00:00
|
|
|
else
|
|
|
|
ms << from_ascii(entity);
|
|
|
|
return;
|
|
|
|
}
|
2011-04-01 22:34:40 +00:00
|
|
|
|
2009-12-31 18:38:01 +00:00
|
|
|
if (!entity.empty()) {
|
|
|
|
ms << "<mo>" << from_ascii(entity) << "</mo>";
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2009-11-14 20:40:09 +00:00
|
|
|
char const * type =
|
2012-04-26 14:31:42 +00:00
|
|
|
(isAlphaASCII(char_) || Encodings::isMathAlpha(char_))
|
2009-11-14 20:40:09 +00:00
|
|
|
? "mi" : "mo";
|
2009-11-14 20:38:22 +00:00
|
|
|
// we don't use MTag and ETag because we do not want the spacing
|
2009-12-31 17:31:13 +00:00
|
|
|
ms << "<" << type << ">" << char_type(char_) << "</" << type << ">";
|
2005-07-14 22:41:59 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2010-03-29 23:03:37 +00:00
|
|
|
void InsetMathChar::htmlize(HtmlStream & ms) const
|
|
|
|
{
|
|
|
|
std::string entity;
|
|
|
|
switch (char_) {
|
|
|
|
case '<': entity = "<"; break;
|
|
|
|
case '>': entity = ">"; break;
|
|
|
|
case '&': entity = "&"; break;
|
2011-04-01 22:34:40 +00:00
|
|
|
case ' ': entity = " "; break;
|
2010-03-29 23:03:37 +00:00
|
|
|
default: break;
|
|
|
|
}
|
|
|
|
|
2010-03-30 00:18:08 +00:00
|
|
|
bool have_entity = !entity.empty();
|
2010-03-29 23:03:37 +00:00
|
|
|
|
2010-03-30 00:18:08 +00:00
|
|
|
if (ms.inText()) {
|
2010-03-29 23:03:37 +00:00
|
|
|
if (have_entity)
|
|
|
|
ms << from_ascii(entity);
|
|
|
|
else
|
|
|
|
ms.os().put(char_);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2010-03-30 00:18:08 +00:00
|
|
|
if (have_entity) {
|
2011-04-01 22:34:40 +00:00
|
|
|
// an operator, so give some space
|
2010-03-29 23:03:37 +00:00
|
|
|
ms << ' ' << from_ascii(entity) << ' ';
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2012-04-26 14:31:42 +00:00
|
|
|
if (isAlphaASCII(char_) || Encodings::isMathAlpha(char_))
|
2010-03-30 00:18:08 +00:00
|
|
|
// we don't use MTag and ETag because we do not want the spacing
|
|
|
|
ms << MTag("i") << char_type(char_) << ETag("i");
|
|
|
|
else
|
|
|
|
// an operator, so give some space
|
|
|
|
ms << " " << char_type(char_) << " ";
|
2010-03-29 23:03:37 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-05-24 10:08:24 +00:00
|
|
|
bool InsetMathChar::isMathBin() const
|
|
|
|
{
|
|
|
|
return support::contains("+-*", static_cast<char>(char_));
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
bool InsetMathChar::isMathRel() const
|
|
|
|
{
|
|
|
|
return support::contains("<>=:", static_cast<char>(char_));
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
bool InsetMathChar::isMathPunct() const
|
2001-08-09 08:53:16 +00:00
|
|
|
{
|
2016-05-24 10:08:24 +00:00
|
|
|
return support::contains(",;", static_cast<char>(char_));
|
2001-08-09 08:53:16 +00:00
|
|
|
}
|
2006-10-21 00:16:43 +00:00
|
|
|
|
|
|
|
|
|
|
|
} // namespace lyx
|