2019-05-09 23:35:40 +00:00
|
|
|
/**
|
|
|
|
* \file xml.cpp
|
|
|
|
* This file is part of LyX, the document processor.
|
|
|
|
* License details can be found in the file COPYING.
|
|
|
|
*
|
|
|
|
* \author José Matos
|
|
|
|
* \author John Levon
|
|
|
|
*
|
|
|
|
* Full author contact details are available in file CREDITS.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <config.h>
|
|
|
|
|
|
|
|
#include "xml.h"
|
|
|
|
|
|
|
|
#include "Buffer.h"
|
|
|
|
#include "BufferParams.h"
|
|
|
|
#include "Counters.h"
|
|
|
|
#include "Layout.h"
|
|
|
|
#include "OutputParams.h"
|
|
|
|
#include "Paragraph.h"
|
|
|
|
#include "Text.h"
|
|
|
|
#include "TextClass.h"
|
|
|
|
|
|
|
|
#include "support/convert.h"
|
|
|
|
#include "support/docstream.h"
|
2020-06-08 21:27:49 +00:00
|
|
|
#include "support/lassert.h"
|
2019-05-09 23:35:40 +00:00
|
|
|
#include "support/lstrings.h"
|
|
|
|
#include "support/textutils.h"
|
|
|
|
|
|
|
|
#include <atomic>
|
|
|
|
#include <map>
|
|
|
|
#include <functional>
|
|
|
|
#include <QThreadStorage>
|
|
|
|
|
|
|
|
using namespace std;
|
|
|
|
using namespace lyx::support;
|
|
|
|
|
|
|
|
namespace lyx {
|
|
|
|
namespace xml {
|
|
|
|
|
|
|
|
|
|
|
|
docstring escapeChar(char_type c, XMLStream::EscapeSettings e)
|
|
|
|
{
|
|
|
|
docstring str;
|
|
|
|
switch (e) { // For HTML: always ESCAPE_NONE. For XML: it depends, hence the parameter.
|
2020-07-31 22:02:36 +00:00
|
|
|
case XMLStream::ESCAPE_NONE:
|
|
|
|
case XMLStream::ESCAPE_COMMENTS:
|
|
|
|
str += c;
|
|
|
|
break;
|
|
|
|
case XMLStream::ESCAPE_ALL:
|
|
|
|
if (c == '<') {
|
|
|
|
str += "<";
|
2019-05-09 23:35:40 +00:00
|
|
|
break;
|
2020-07-31 22:02:36 +00:00
|
|
|
} else if (c == '>') {
|
|
|
|
str += ">";
|
2019-05-09 23:35:40 +00:00
|
|
|
break;
|
2020-07-31 22:02:36 +00:00
|
|
|
}
|
|
|
|
// fall through
|
|
|
|
case XMLStream::ESCAPE_AND:
|
|
|
|
if (c == '&')
|
|
|
|
str += "&";
|
|
|
|
else
|
|
|
|
str +=c ;
|
|
|
|
break;
|
2019-05-09 23:35:40 +00:00
|
|
|
}
|
|
|
|
return str;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
docstring escapeChar(char c, XMLStream::EscapeSettings e)
|
|
|
|
{
|
2019-05-09 23:35:40 +00:00
|
|
|
LATTEST(static_cast<unsigned char>(c) < 0x80);
|
|
|
|
return escapeChar(static_cast<char_type>(c), e);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 22:41:58 +00:00
|
|
|
docstring escapeString(docstring const & raw, XMLStream::EscapeSettings e)
|
2020-07-31 22:02:36 +00:00
|
|
|
{
|
|
|
|
docstring bin;
|
|
|
|
bin.reserve(raw.size() * 2); // crude approximation is sufficient
|
|
|
|
for (size_t i = 0; i != raw.size(); ++i) {
|
|
|
|
char_type c = raw[i];
|
|
|
|
if (e == XMLStream::ESCAPE_COMMENTS && c == '-' && i > 0 && raw[i - 1] == '-')
|
|
|
|
bin += "-";
|
|
|
|
else
|
|
|
|
bin += xml::escapeChar(c, e);
|
|
|
|
}
|
|
|
|
|
|
|
|
return bin;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2019-05-09 23:35:40 +00:00
|
|
|
docstring cleanAttr(docstring const & str)
|
|
|
|
{
|
|
|
|
docstring newname;
|
|
|
|
docstring::const_iterator it = str.begin();
|
|
|
|
docstring::const_iterator en = str.end();
|
|
|
|
for (; it != en; ++it) {
|
|
|
|
char_type const c = *it;
|
|
|
|
newname += isAlnumASCII(c) ? c : char_type('_');
|
|
|
|
}
|
|
|
|
return newname;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
docstring StartTag::writeTag() const
|
|
|
|
{
|
2019-05-09 23:35:40 +00:00
|
|
|
docstring output = '<' + tag_;
|
|
|
|
if (!attr_.empty()) {
|
2020-08-01 01:20:08 +00:00
|
|
|
docstring attributes = xml::escapeString(attr_, XMLStream::ESCAPE_NONE);
|
2019-05-09 23:35:40 +00:00
|
|
|
attributes.erase(attributes.begin(), std::find_if(attributes.begin(), attributes.end(),
|
|
|
|
[](int c) {return !std::isspace(c);}));
|
|
|
|
if (!attributes.empty()) {
|
|
|
|
output += ' ' + attributes;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
output += ">";
|
|
|
|
return output;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
docstring StartTag::writeEndTag() const
|
|
|
|
{
|
2019-05-09 23:35:40 +00:00
|
|
|
return from_utf8("</") + tag_ + from_utf8(">");
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
bool StartTag::operator==(FontTag const &rhs) const
|
|
|
|
{
|
2019-05-09 23:35:40 +00:00
|
|
|
return rhs == *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
docstring EndTag::writeEndTag() const
|
|
|
|
{
|
2019-05-09 23:35:40 +00:00
|
|
|
return from_utf8("</") + tag_ + from_utf8(">");
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
docstring CompTag::writeTag() const
|
|
|
|
{
|
2020-08-29 21:41:28 +00:00
|
|
|
docstring output = '<' + tag_;
|
2019-05-09 23:35:40 +00:00
|
|
|
if (!attr_.empty()) {
|
|
|
|
// Erase the beginning of the attributes if it contains space characters: this function deals with that
|
|
|
|
// automatically.
|
2020-08-29 21:41:28 +00:00
|
|
|
docstring attributes = escapeString(attr_, XMLStream::ESCAPE_NONE);
|
2019-05-09 23:35:40 +00:00
|
|
|
attributes.erase(attributes.begin(), std::find_if(attributes.begin(), attributes.end(),
|
|
|
|
[](int c) {return !std::isspace(c);}));
|
|
|
|
if (!attributes.empty()) {
|
|
|
|
output += ' ' + attributes;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
output += " />";
|
|
|
|
return output;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
bool FontTag::operator==(StartTag const & tag) const
|
|
|
|
{
|
|
|
|
FontTag const * const ftag = tag.asFontTag();
|
|
|
|
if (!ftag)
|
|
|
|
return false;
|
|
|
|
return (font_type_ == ftag->font_type_);
|
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace xml
|
|
|
|
|
|
|
|
|
2020-08-29 00:43:30 +00:00
|
|
|
void XMLStream::writeError(std::string const &s)
|
2020-07-31 21:35:08 +00:00
|
|
|
{
|
2019-05-09 23:35:40 +00:00
|
|
|
LYXERR0(s);
|
2020-08-29 00:43:30 +00:00
|
|
|
*this << ESCAPE_NONE << from_utf8("<!-- Output Error: " + s + " -->");
|
|
|
|
*this << xml::CR();
|
2019-05-09 23:35:40 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-08-29 00:43:30 +00:00
|
|
|
void XMLStream::writeError(docstring const &s)
|
2020-07-31 21:35:08 +00:00
|
|
|
{
|
2019-05-09 23:35:40 +00:00
|
|
|
LYXERR0(s);
|
2020-08-29 00:43:30 +00:00
|
|
|
*this << ESCAPE_NONE << from_utf8("<!-- Output Error: ");
|
|
|
|
*this << s;
|
|
|
|
*this << ESCAPE_NONE << from_utf8(" -->");
|
|
|
|
*this << xml::CR();
|
2019-05-09 23:35:40 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-08-26 22:52:06 +00:00
|
|
|
XMLStream::TagPtr XMLStream::getLastStackTag()
|
|
|
|
{
|
|
|
|
return tag_stack_.back();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
bool XMLStream::closeFontTags()
|
|
|
|
{
|
2019-05-09 23:35:40 +00:00
|
|
|
if (isTagPending(xml::parsep_tag))
|
|
|
|
// we haven't had any content
|
|
|
|
return true;
|
|
|
|
|
|
|
|
// this may be a useless check, since we ought at least to have
|
|
|
|
// the parsep_tag. but it can't hurt too much to be careful.
|
|
|
|
if (tag_stack_.empty())
|
|
|
|
return true;
|
|
|
|
|
|
|
|
// first, we close any open font tags we can close
|
|
|
|
TagPtr *curtag = &tag_stack_.back();
|
|
|
|
while ((*curtag)->asFontTag()) {
|
|
|
|
if (**curtag != xml::parsep_tag)
|
|
|
|
os_ << (*curtag)->writeEndTag();
|
|
|
|
tag_stack_.pop_back();
|
|
|
|
// this shouldn't happen, since then the font tags
|
|
|
|
// weren't in any other tag.
|
2020-08-15 22:59:43 +00:00
|
|
|
LASSERT(!tag_stack_.empty(), return true);
|
2020-07-26 21:23:02 +00:00
|
|
|
if (tag_stack_.empty())
|
|
|
|
return true;
|
2019-05-09 23:35:40 +00:00
|
|
|
curtag = &tag_stack_.back();
|
|
|
|
}
|
|
|
|
|
|
|
|
if (**curtag == xml::parsep_tag)
|
|
|
|
return true;
|
|
|
|
|
|
|
|
// so we've hit a non-font tag.
|
|
|
|
writeError("Tags still open in closeFontTags(). Probably not a problem,\n"
|
|
|
|
"but you might want to check these tags:");
|
|
|
|
TagDeque::const_reverse_iterator it = tag_stack_.rbegin();
|
|
|
|
TagDeque::const_reverse_iterator const en = tag_stack_.rend();
|
|
|
|
for (; it != en; ++it) {
|
|
|
|
if (**it == xml::parsep_tag)
|
|
|
|
break;
|
|
|
|
writeError((*it)->tag_);
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
void XMLStream::startDivision(bool keep_empty)
|
|
|
|
{
|
2019-05-09 23:35:40 +00:00
|
|
|
pending_tags_.push_back(makeTagPtr(xml::StartTag(xml::parsep_tag)));
|
|
|
|
if (keep_empty)
|
|
|
|
clearTagDeque();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
void XMLStream::endDivision()
|
|
|
|
{
|
2019-05-09 23:35:40 +00:00
|
|
|
if (isTagPending(xml::parsep_tag)) {
|
|
|
|
// this case is normal. it just means we didn't have content,
|
|
|
|
// so the parsep_tag never got moved onto the tag stack.
|
|
|
|
while (!pending_tags_.empty()) {
|
|
|
|
// clear all pending tags up to and including the parsep tag.
|
|
|
|
// note that we work from the back, because we want to get rid
|
|
|
|
// of everything that hasn't been used.
|
|
|
|
TagPtr const cur_tag = pending_tags_.back();
|
|
|
|
pending_tags_.pop_back();
|
|
|
|
if (*cur_tag == xml::parsep_tag)
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef XHTML_DEBUG
|
|
|
|
dumpTagStack("EndDivision");
|
|
|
|
#endif
|
|
|
|
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!isTagOpen(xml::parsep_tag)) {
|
|
|
|
writeError("No division separation tag found in endDivision().");
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
// this case is also normal, if the parsep tag is the last one
|
|
|
|
// on the stack. otherwise, it's an error.
|
|
|
|
while (!tag_stack_.empty()) {
|
|
|
|
TagPtr const cur_tag = tag_stack_.back();
|
|
|
|
tag_stack_.pop_back();
|
|
|
|
if (*cur_tag == xml::parsep_tag)
|
|
|
|
break;
|
|
|
|
writeError("Tag `" + cur_tag->tag_ + "' still open at end of paragraph. Closing.");
|
|
|
|
os_ << cur_tag->writeEndTag();
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef XHTML_DEBUG
|
|
|
|
dumpTagStack("EndDivision");
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
void XMLStream::clearTagDeque()
|
|
|
|
{
|
2019-05-09 23:35:40 +00:00
|
|
|
while (!pending_tags_.empty()) {
|
|
|
|
TagPtr const & tag = pending_tags_.front();
|
|
|
|
if (*tag != xml::parsep_tag)
|
|
|
|
// tabs?
|
|
|
|
os_ << tag->writeTag();
|
|
|
|
tag_stack_.push_back(tag);
|
|
|
|
pending_tags_.pop_front();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
XMLStream &XMLStream::operator<<(docstring const &d)
|
|
|
|
{
|
2020-08-17 21:44:02 +00:00
|
|
|
is_last_tag_cr_ = false;
|
2019-05-09 23:35:40 +00:00
|
|
|
clearTagDeque();
|
2020-08-01 01:20:08 +00:00
|
|
|
os_ << xml::escapeString(d, escape_);
|
2019-05-09 23:35:40 +00:00
|
|
|
escape_ = ESCAPE_ALL;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
XMLStream &XMLStream::operator<<(const char *s)
|
|
|
|
{
|
2020-08-17 21:44:02 +00:00
|
|
|
is_last_tag_cr_ = false;
|
2019-05-09 23:35:40 +00:00
|
|
|
clearTagDeque();
|
|
|
|
docstring const d = from_ascii(s);
|
2020-08-01 01:20:08 +00:00
|
|
|
os_ << xml::escapeString(d, escape_);
|
2019-05-09 23:35:40 +00:00
|
|
|
escape_ = ESCAPE_ALL;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
XMLStream &XMLStream::operator<<(char_type c)
|
|
|
|
{
|
2020-08-17 21:44:02 +00:00
|
|
|
is_last_tag_cr_ = false;
|
2019-05-09 23:35:40 +00:00
|
|
|
clearTagDeque();
|
|
|
|
os_ << xml::escapeChar(c, escape_);
|
|
|
|
escape_ = ESCAPE_ALL;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
XMLStream &XMLStream::operator<<(char c)
|
|
|
|
{
|
2020-08-17 21:44:02 +00:00
|
|
|
is_last_tag_cr_ = false;
|
2019-05-09 23:35:40 +00:00
|
|
|
clearTagDeque();
|
|
|
|
os_ << xml::escapeChar(c, escape_);
|
|
|
|
escape_ = ESCAPE_ALL;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
XMLStream &XMLStream::operator<<(int i)
|
|
|
|
{
|
2020-08-17 21:44:02 +00:00
|
|
|
is_last_tag_cr_ = false;
|
2019-05-09 23:35:40 +00:00
|
|
|
clearTagDeque();
|
|
|
|
os_ << i;
|
|
|
|
escape_ = ESCAPE_ALL;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
XMLStream &XMLStream::operator<<(EscapeSettings e)
|
|
|
|
{
|
2020-08-17 21:44:02 +00:00
|
|
|
// Don't update is_last_tag_cr_ here, as this does not output anything.
|
2019-05-09 23:35:40 +00:00
|
|
|
escape_ = e;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
XMLStream &XMLStream::operator<<(xml::StartTag const &tag)
|
|
|
|
{
|
2020-08-17 21:44:02 +00:00
|
|
|
is_last_tag_cr_ = false;
|
2019-05-09 23:35:40 +00:00
|
|
|
if (tag.tag_.empty())
|
|
|
|
return *this;
|
|
|
|
pending_tags_.push_back(makeTagPtr(tag));
|
|
|
|
if (tag.keepempty_)
|
|
|
|
clearTagDeque();
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
XMLStream &XMLStream::operator<<(xml::ParTag const &tag)
|
|
|
|
{
|
2020-08-17 21:44:02 +00:00
|
|
|
is_last_tag_cr_ = false;
|
2019-05-09 23:35:40 +00:00
|
|
|
if (tag.tag_.empty())
|
|
|
|
return *this;
|
|
|
|
pending_tags_.push_back(makeTagPtr(tag));
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
XMLStream &XMLStream::operator<<(xml::CompTag const &tag)
|
|
|
|
{
|
2020-08-17 21:44:02 +00:00
|
|
|
is_last_tag_cr_ = false;
|
2019-05-09 23:35:40 +00:00
|
|
|
if (tag.tag_.empty())
|
|
|
|
return *this;
|
|
|
|
clearTagDeque();
|
|
|
|
os_ << tag.writeTag();
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
XMLStream &XMLStream::operator<<(xml::FontTag const &tag)
|
|
|
|
{
|
2020-08-17 21:44:02 +00:00
|
|
|
is_last_tag_cr_ = false;
|
2019-05-09 23:35:40 +00:00
|
|
|
if (tag.tag_.empty())
|
|
|
|
return *this;
|
|
|
|
pending_tags_.push_back(makeTagPtr(tag));
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
XMLStream &XMLStream::operator<<(xml::CR const &)
|
|
|
|
{
|
2020-08-17 21:44:02 +00:00
|
|
|
is_last_tag_cr_ = true;
|
2020-06-08 21:27:49 +00:00
|
|
|
clearTagDeque();
|
2019-05-09 23:35:40 +00:00
|
|
|
os_ << from_ascii("\n");
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
bool XMLStream::isTagOpen(xml::StartTag const &stag, int maxdepth) const
|
|
|
|
{
|
2019-05-09 23:35:40 +00:00
|
|
|
auto sit = tag_stack_.begin();
|
|
|
|
auto sen = tag_stack_.cend();
|
2020-06-08 21:27:49 +00:00
|
|
|
for (; sit != sen && maxdepth != 0; ++sit) {
|
2019-05-09 23:35:40 +00:00
|
|
|
if (**sit == stag)
|
|
|
|
return true;
|
2020-06-08 21:27:49 +00:00
|
|
|
maxdepth -= 1;
|
|
|
|
}
|
2019-05-09 23:35:40 +00:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
bool XMLStream::isTagOpen(xml::EndTag const &etag, int maxdepth) const
|
|
|
|
{
|
2019-05-09 23:35:40 +00:00
|
|
|
auto sit = tag_stack_.begin();
|
|
|
|
auto sen = tag_stack_.cend();
|
2020-06-08 21:27:49 +00:00
|
|
|
for (; sit != sen && maxdepth != 0; ++sit) {
|
2019-05-09 23:35:40 +00:00
|
|
|
if (etag == **sit)
|
|
|
|
return true;
|
2020-06-08 21:27:49 +00:00
|
|
|
maxdepth -= 1;
|
|
|
|
}
|
2019-05-09 23:35:40 +00:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 21:35:08 +00:00
|
|
|
bool XMLStream::isTagPending(xml::StartTag const &stag, int maxdepth) const
|
|
|
|
{
|
2019-05-09 23:35:40 +00:00
|
|
|
auto sit = pending_tags_.begin();
|
|
|
|
auto sen = pending_tags_.cend();
|
2020-06-08 21:27:49 +00:00
|
|
|
for (; sit != sen && maxdepth != 0; ++sit) {
|
2019-05-09 23:35:40 +00:00
|
|
|
if (**sit == stag)
|
|
|
|
return true;
|
2020-06-08 21:27:49 +00:00
|
|
|
maxdepth -= 1;
|
|
|
|
}
|
2019-05-09 23:35:40 +00:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
// this is complicated, because we want to make sure that
|
|
|
|
// everything is properly nested. the code ought to make
|
|
|
|
// sure of that, but we won't assert (yet) if we run into
|
|
|
|
// a problem. we'll just output error messages and try our
|
|
|
|
// best to make things work.
|
2020-07-31 21:35:08 +00:00
|
|
|
XMLStream &XMLStream::operator<<(xml::EndTag const &etag)
|
|
|
|
{
|
2020-08-17 21:44:02 +00:00
|
|
|
is_last_tag_cr_ = false;
|
|
|
|
|
2019-05-09 23:35:40 +00:00
|
|
|
if (etag.tag_.empty())
|
|
|
|
return *this;
|
|
|
|
|
|
|
|
// if this tag is pending, we can simply discard it.
|
|
|
|
if (!pending_tags_.empty()) {
|
|
|
|
if (etag == *pending_tags_.back()) {
|
|
|
|
// we have <tag></tag>, so we discard it and remove it
|
|
|
|
// from the pending_tags_.
|
|
|
|
pending_tags_.pop_back();
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
// there is a pending tag that isn't the one we are trying
|
|
|
|
// to close.
|
|
|
|
|
|
|
|
// is this tag itself pending?
|
|
|
|
// non-const iterators because we may call erase().
|
|
|
|
TagDeque::iterator dit = pending_tags_.begin();
|
|
|
|
TagDeque::iterator const den = pending_tags_.end();
|
|
|
|
for (; dit != den; ++dit) {
|
|
|
|
if (etag == **dit) {
|
|
|
|
// it was pending, so we just erase it
|
|
|
|
writeError("Tried to close pending tag `" + to_utf8(etag.tag_)
|
|
|
|
+ "' when other tags were pending. Last pending tag is `"
|
|
|
|
+ to_utf8(pending_tags_.back()->writeTag())
|
|
|
|
+ "'. Tag discarded.");
|
|
|
|
pending_tags_.erase(dit);
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
// so etag isn't itself pending. is it even open?
|
|
|
|
if (!isTagOpen(etag)) {
|
|
|
|
writeError("Tried to close `" + to_utf8(etag.tag_)
|
|
|
|
+ "' when tag was not open. Tag discarded.");
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
// ok, so etag is open.
|
|
|
|
// our strategy will be as below: we will do what we need to
|
|
|
|
// do to close this tag.
|
|
|
|
string estr = "Closing tag `" + to_utf8(etag.tag_)
|
|
|
|
+ "' when other tags are pending. Discarded pending tags:\n";
|
|
|
|
for (dit = pending_tags_.begin(); dit != den; ++dit)
|
2020-08-01 01:20:08 +00:00
|
|
|
estr += to_utf8(xml::escapeString((*dit)->writeTag(), XMLStream::ESCAPE_ALL)) + "\n";
|
2019-05-09 23:35:40 +00:00
|
|
|
writeError(estr);
|
|
|
|
// clear the pending tags...
|
|
|
|
pending_tags_.clear();
|
|
|
|
// ...and then just fall through.
|
|
|
|
}
|
|
|
|
|
|
|
|
// make sure there are tags to be closed
|
|
|
|
if (tag_stack_.empty()) {
|
|
|
|
writeError("Tried to close `" + etag.tag_
|
|
|
|
+ "' when no tags were open!");
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
// is the tag we are closing the last one we opened?
|
|
|
|
if (etag == *tag_stack_.back()) {
|
|
|
|
// output it...
|
|
|
|
os_ << etag.writeEndTag();
|
|
|
|
// ...and forget about it
|
|
|
|
tag_stack_.pop_back();
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
// we are trying to close a tag other than the one last opened.
|
|
|
|
// let's first see if this particular tag is still open somehow.
|
|
|
|
if (!isTagOpen(etag)) {
|
|
|
|
writeError("Tried to close `" + etag.tag_
|
|
|
|
+ "' when tag was not open. Tag discarded.");
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
// so the tag was opened, but other tags have been opened since
|
|
|
|
// and not yet closed.
|
|
|
|
// if it's a font tag, though...
|
|
|
|
if (etag.asFontTag()) {
|
|
|
|
// it won't be a problem if the other tags open since this one
|
|
|
|
// are also font tags.
|
|
|
|
TagDeque::const_reverse_iterator rit = tag_stack_.rbegin();
|
|
|
|
TagDeque::const_reverse_iterator ren = tag_stack_.rend();
|
|
|
|
for (; rit != ren; ++rit) {
|
|
|
|
if (etag == **rit)
|
|
|
|
break;
|
|
|
|
if (!(*rit)->asFontTag()) {
|
|
|
|
// we'll just leave it and, presumably, have to close it later.
|
|
|
|
writeError("Unable to close font tag `" + etag.tag_
|
|
|
|
+ "' due to open non-font tag `" + (*rit)->tag_ + "'.");
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// so we have e.g.:
|
|
|
|
// <em>this is <strong>bold
|
|
|
|
// and are being asked to closed em. we want:
|
|
|
|
// <em>this is <strong>bold</strong></em><strong>
|
|
|
|
// first, we close the intervening tags...
|
|
|
|
TagPtr *curtag = &tag_stack_.back();
|
|
|
|
// ...remembering them in a stack.
|
|
|
|
TagDeque fontstack;
|
|
|
|
while (etag != **curtag) {
|
|
|
|
os_ << (*curtag)->writeEndTag();
|
|
|
|
fontstack.push_back(*curtag);
|
|
|
|
tag_stack_.pop_back();
|
|
|
|
curtag = &tag_stack_.back();
|
|
|
|
}
|
|
|
|
os_ << etag.writeEndTag();
|
|
|
|
tag_stack_.pop_back();
|
|
|
|
|
|
|
|
// ...and restore the other tags.
|
|
|
|
rit = fontstack.rbegin();
|
|
|
|
ren = fontstack.rend();
|
|
|
|
for (; rit != ren; ++rit)
|
|
|
|
pending_tags_.push_back(*rit);
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
// it wasn't a font tag.
|
|
|
|
// so other tags were opened before this one and not properly closed.
|
|
|
|
// so we'll close them, too. that may cause other issues later, but it
|
|
|
|
// at least guarantees proper nesting.
|
|
|
|
writeError("Closing tag `" + etag.tag_
|
|
|
|
+ "' when other tags are open, namely:");
|
|
|
|
TagPtr *curtag = &tag_stack_.back();
|
|
|
|
while (etag != **curtag) {
|
|
|
|
writeError((*curtag)->tag_);
|
|
|
|
if (**curtag != xml::parsep_tag)
|
|
|
|
os_ << (*curtag)->writeEndTag();
|
|
|
|
tag_stack_.pop_back();
|
|
|
|
curtag = &tag_stack_.back();
|
|
|
|
}
|
|
|
|
// curtag is now the one we actually want.
|
|
|
|
os_ << (*curtag)->writeEndTag();
|
|
|
|
tag_stack_.pop_back();
|
|
|
|
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-31 22:02:36 +00:00
|
|
|
docstring xml::uniqueID(docstring const & label)
|
2019-05-09 23:35:40 +00:00
|
|
|
{
|
|
|
|
// thread-safe
|
|
|
|
static atomic_uint seed(1000);
|
|
|
|
return label + convert<docstring>(++seed);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-07-20 01:11:59 +00:00
|
|
|
docstring xml::cleanID(docstring const & orig)
|
2019-05-09 23:35:40 +00:00
|
|
|
{
|
2020-08-15 22:59:43 +00:00
|
|
|
// The standard xml:id only allows letters, digits, '-' and '.' in a name.
|
|
|
|
// This routine replaces illegal characters by '-' or '.' and adds a number for uniqueness if need be.
|
2019-05-09 23:35:40 +00:00
|
|
|
|
|
|
|
// Use a cache of already mangled names: the alterations may merge several IDs as one. This ensures that the IDs
|
|
|
|
// are not mixed up in the document.
|
2020-08-15 22:59:43 +00:00
|
|
|
// This code could be improved: it uses Qt outside the GUI part. Any TLS implementation could do the trick.
|
2019-05-09 23:35:40 +00:00
|
|
|
typedef map<docstring, docstring> MangledMap;
|
|
|
|
static QThreadStorage<MangledMap> tMangledNames;
|
|
|
|
static QThreadStorage<int> tMangleID;
|
|
|
|
|
|
|
|
// If the name is already known, just return it.
|
2020-08-15 22:59:43 +00:00
|
|
|
MangledMap & mangledNames = tMangledNames.localData();
|
|
|
|
auto const known = mangledNames.find(orig);
|
2019-05-09 23:35:40 +00:00
|
|
|
if (known != mangledNames.end())
|
|
|
|
return known->second;
|
|
|
|
|
|
|
|
// Start creating the mangled name by iterating over the characters.
|
|
|
|
docstring content;
|
2020-08-15 22:59:43 +00:00
|
|
|
auto it = orig.cbegin();
|
|
|
|
auto end = orig.cend();
|
2019-05-09 23:35:40 +00:00
|
|
|
|
|
|
|
// Make sure it starts with a letter.
|
2020-08-15 22:59:43 +00:00
|
|
|
if (!isAlphaASCII(*it))
|
2019-05-09 23:35:40 +00:00
|
|
|
content += "x";
|
|
|
|
|
2020-08-15 22:59:43 +00:00
|
|
|
// Parse the ID character by character and change what needs to.
|
2019-05-09 23:35:40 +00:00
|
|
|
bool mangle = false; // Indicates whether the ID had to be changed, i.e. if ID no more ensured to be unique.
|
|
|
|
for (; it != end; ++it) {
|
|
|
|
char_type c = *it;
|
2020-08-15 22:59:43 +00:00
|
|
|
if (isAlphaASCII(c) || isDigitASCII(c) || c == '-' || c == '.' || c == '_') {
|
2019-05-09 23:35:40 +00:00
|
|
|
content += c;
|
2020-08-15 22:59:43 +00:00
|
|
|
} else if (c == ':' || c == ',' || c == ';' || c == '!') {
|
2019-05-09 23:35:40 +00:00
|
|
|
mangle = true;
|
|
|
|
content += ".";
|
2020-08-15 22:59:43 +00:00
|
|
|
} else { // Other invalid characters, such as ' '.
|
2019-05-09 23:35:40 +00:00
|
|
|
mangle = true;
|
|
|
|
content += "-";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-08-15 22:59:43 +00:00
|
|
|
// If there had to be a change, check if ID unicity is still guaranteed.
|
|
|
|
// This avoids having a clash if satisfying XML requirements for ID makes two IDs identical, like "a:b" and "a!b",
|
|
|
|
// as both of them would be transformed as "a.b". With this procedure, one will become "a.b" and the other "a.b-1".
|
|
|
|
if (mangle && mangledNames.find(content) != mangledNames.end()) {
|
2019-05-09 23:35:40 +00:00
|
|
|
int & mangleID = tMangleID.localData();
|
2020-08-15 22:59:43 +00:00
|
|
|
content += "-" + convert<docstring>(mangleID);
|
|
|
|
mangleID += 1;
|
2020-07-20 00:15:35 +00:00
|
|
|
}
|
2019-05-09 23:35:40 +00:00
|
|
|
|
2020-08-15 22:59:43 +00:00
|
|
|
// Save the new ID to avoid recomputing it afterwards and to ensure stability over the document.
|
2019-05-09 23:35:40 +00:00
|
|
|
mangledNames[orig] = content;
|
|
|
|
return content;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void xml::openTag(odocstream & os, string const & name, string const & attribute)
|
|
|
|
{
|
|
|
|
// FIXME UNICODE
|
|
|
|
// This should be fixed in layout files later.
|
|
|
|
string param = subst(attribute, "<", "\"");
|
|
|
|
param = subst(param, ">", "\"");
|
|
|
|
|
|
|
|
// Note: we ignore the name if it empty or if it is a comment "<!-- -->" or
|
|
|
|
// if the name is *dummy*.
|
|
|
|
// We ignore dummy because dummy is not a valid docbook element and it is
|
|
|
|
// the internal name given to single paragraphs in the latex output.
|
|
|
|
// This allow us to simplify the code a lot and is a reasonable compromise.
|
|
|
|
if (!name.empty() && name != "!-- --" && name != "dummy") {
|
|
|
|
os << '<' << from_ascii(name);
|
|
|
|
if (!param.empty())
|
|
|
|
os << ' ' << from_ascii(param);
|
|
|
|
os << '>';
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void xml::closeTag(odocstream & os, string const & name)
|
|
|
|
{
|
|
|
|
if (!name.empty() && name != "!-- --" && name != "dummy")
|
|
|
|
os << "</" << from_ascii(name) << '>';
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void xml::openTag(Buffer const & buf, odocstream & os,
|
|
|
|
OutputParams const & runparams, Paragraph const & par)
|
|
|
|
{
|
|
|
|
Layout const & style = par.layout();
|
|
|
|
string const & name = style.latexname();
|
|
|
|
string param = style.latexparam();
|
|
|
|
Counters & counters = buf.params().documentClass().counters();
|
|
|
|
|
|
|
|
string id = par.getID(buf, runparams);
|
|
|
|
|
|
|
|
string attribute;
|
|
|
|
if (!id.empty()) {
|
|
|
|
if (param.find('#') != string::npos) {
|
|
|
|
string::size_type pos = param.find("id=<");
|
|
|
|
string::size_type end = param.find(">");
|
|
|
|
if( pos != string::npos && end != string::npos)
|
|
|
|
param.erase(pos, end-pos + 1);
|
|
|
|
}
|
|
|
|
attribute = id + ' ' + param;
|
|
|
|
} else {
|
|
|
|
if (param.find('#') != string::npos) {
|
|
|
|
// FIXME UNICODE
|
|
|
|
if (!style.counter.empty())
|
|
|
|
// This uses InternalUpdate at the moment becuase xml output
|
|
|
|
// does not do anything with tracked counters, and it would need
|
|
|
|
// to track layouts if it did want to use them.
|
|
|
|
counters.step(style.counter, InternalUpdate);
|
|
|
|
else
|
|
|
|
counters.step(from_ascii(name), InternalUpdate);
|
|
|
|
int i = counters.value(from_ascii(name));
|
|
|
|
attribute = subst(param, "#", convert<string>(i));
|
|
|
|
} else {
|
|
|
|
attribute = param;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
openTag(os, name, attribute);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void xml::closeTag(odocstream & os, Paragraph const & par)
|
|
|
|
{
|
|
|
|
Layout const & style = par.layout();
|
|
|
|
closeTag(os, style.latexname());
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
} // namespace lyx
|