* Licence details can be found in the file COPYING.
*
* \author Alejandro Aguilar Sierra
- * \author André Pönitz
+ * \author André Pönitz
*
* Full author contact details are available in file CREDITS.
*/
#include <config.h>
#include "InsetMathChar.h"
+
#include "MathSupport.h"
#include "MathStream.h"
+#include "MetricsInfo.h"
-#include "debug.h"
#include "Dimension.h"
+#include "Encoding.h"
+#include "LaTeXFeatures.h"
#include "TextPainter.h"
-#include "support/lstrings.h"
-
#include "frontends/FontMetrics.h"
+#include "support/debug.h"
+#include "support/lstrings.h"
+#include "support/textutils.h"
+
namespace lyx {
extern bool has_math_fonts;
-namespace {
-
- bool isBinaryOp(char_type c)
- {
- return support::contains("+-<>=/*", static_cast<char>(c));
- }
+static bool isBinaryOp(char_type c)
+{
+ return support::contains("+-<>=/*", static_cast<char>(c));
+}
- bool slanted(char_type c)
- {
- return ('a' <= c && c <= 'z') || ('A' <= c && c <= 'Z');
- }
+static bool slanted(char_type c)
+{
+ return isAlphaASCII(c) || Encodings::isMathAlpha(c);
}
dim.wid += 2 * theFontMetrics(font_).width(' ');
lyxerr << "InsetMathChar::metrics: " << dim << endl;
#endif
- // Cache the inset dimension.
- setDimCache(mi, dim);
}
}
+void InsetMathChar::validate(LaTeXFeatures & features) const
+{
+ if (char_ >= 0x80)
+ encodings.validate(char_, features, true);
+}
+
+
void InsetMathChar::normalize(NormalStream & os) const
{
os << "[char ";
}
+// We have a bit of a problem here. MathML wants to know whether the
+// character represents an "identifier" or an "operator", and we have
+// 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.
void InsetMathChar::mathmlize(MathStream & ms) const
{
+ std::string entity;
switch (char_) {
- case '<': ms << "<"; break;
- case '>': ms << ">"; break;
- case '&': ms << "&"; break;
- default: ms.os().put(char_); break;
+ case '<': entity = "<"; break;
+ case '>': entity = ">"; break;
+ case '&': entity = "&"; break;
+ case ' ':
+ if (!ms.inText())
+ break;
+ entity = " ";
+ break;
+ default: break;
+ }
+
+ if (ms.inText()) {
+ if (entity.empty())
+ ms.os().put(char_);
+ else
+ ms << from_ascii(entity);
+ return;
+ }
+
+ if (!entity.empty()) {
+ ms << "<mo>" << from_ascii(entity) << "</mo>";
+ return;
+ }
+
+ char const * type =
+ (isalpha(char_) || Encodings::isMathAlpha(char_))
+ ? "mi" : "mo";
+ // we don't use MTag and ETag because we do not want the spacing
+ ms << "<" << type << ">" << char_type(char_) << "</" << type << ">";
+}
+
+
+void InsetMathChar::htmlize(HtmlStream & ms) const
+{
+ std::string entity;
+ switch (char_) {
+ case '<': entity = "<"; break;
+ case '>': entity = ">"; break;
+ case '&': entity = "&"; break;
+ default: break;
+ }
+
+ bool have_entity = !entity.empty();
+
+ if (ms.inText()) {
+ if (have_entity)
+ ms << from_ascii(entity);
+ else
+ ms.os().put(char_);
+ return;
}
+
+ if (have_entity) {
+ ms << ' ' << from_ascii(entity) << ' ';
+ return;
+ }
+
+ if (isalpha(char_) || Encodings::isMathAlpha(char_))
+ // 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_) << " ";
}