#include "Lexer.h"
-#include "support/debug.h"
-
#include "support/convert.h"
+#include "support/debug.h"
#include "support/FileName.h"
#include "support/filetools.h"
#include "support/gzstream.h"
#include "support/lyxalgo.h"
#include "support/types.h"
-#include <boost/noncopyable.hpp>
-
#include <functional>
#include <istream>
#include <stack>
-#include <sstream>
#include <vector>
using namespace std;
///
-class Lexer::Pimpl : boost::noncopyable {
+class Lexer::Pimpl {
public:
///
- Pimpl(keyword_item * tab, int num);
+ Pimpl(LexerKeyword * tab, int num);
///
string const getString() const;
///
///
void printTable(ostream & os);
///
- void pushTable(keyword_item * tab, int num);
+ void pushTable(LexerKeyword * tab, int num);
///
void popTable();
///
///
bool next(bool esc = false);
///
- int search_kw(char const * const tag) const;
+ int searchKeyword(char const * const tag) const;
///
int lex();
///
///
string name;
///
- keyword_item * table;
+ LexerKeyword * table;
///
int no_items;
///
string pushTok;
///
char commentChar;
+ /// used for error messages
+ string context;
private:
+ /// non-copyable
+ Pimpl(Pimpl const &);
+ void operator=(Pimpl const &);
+
///
void verifyTable();
///
PushedTable()
: table_elem(0), table_siz(0) {}
///
- PushedTable(keyword_item * ki, int siz)
+ PushedTable(LexerKeyword * ki, int siz)
: table_elem(ki), table_siz(siz) {}
///
- keyword_item * table_elem;
+ LexerKeyword * table_elem;
///
int table_siz;
};
namespace {
class CompareTags
- : public binary_function<keyword_item, keyword_item, bool> {
+ : public binary_function<LexerKeyword, LexerKeyword, bool> {
public:
// used by lower_bound, sort and sorted
- bool operator()(keyword_item const & a, keyword_item const & b) const
+ bool operator()(LexerKeyword const & a, LexerKeyword const & b) const
{
// we use the ascii version, because in turkish, 'i'
// is not the lowercase version of 'I', and thus
} // end of anon namespace
-Lexer::Pimpl::Pimpl(keyword_item * tab, int num)
+Lexer::Pimpl::Pimpl(LexerKeyword * tab, int num)
: is(&fb_), table(tab), no_items(num),
status(0), lineno(0), commentChar('#')
{
{
string const tmpmsg = subst(message, "$$Token", getString());
lyxerr << "LyX: " << tmpmsg << " [around line " << lineno
- << " of file " << to_utf8(makeDisplayPath(name)) << ']' << endl;
+ << " of file " << to_utf8(makeDisplayPath(name))
+ << " current token: '" << getString() << "'"
+ << " context: '" << context << "']" << endl;
}
}
-void Lexer::Pimpl::pushTable(keyword_item * tab, int num)
+void Lexer::Pimpl::pushTable(LexerKeyword * tab, int num)
{
PushedTable tmppu(table, no_items);
pushed.push(tmppu);
status = LEX_TOKEN;
return true;
}
- if (!esc) {
- unsigned char c = 0; // getc() returns an int
- char cc = 0;
- status = 0;
- while (is && !status) {
- is.get(cc);
- c = cc;
- if (c == commentChar) {
- // Read rest of line (fast :-)
-#if 1
- // That is not fast... (Lgb)
- string dummy;
- getline(is, dummy);
-
- LYXERR(Debug::LYXLEX, "Comment read: `" << c << dummy << '\'');
-#else
- // unfortunately ignore is buggy (Lgb)
- is.ignore(100, '\n');
-#endif
- ++lineno;
- continue;
- }
-
- if (c == '\"') {
- buff.clear();
-
- do {
- is.get(cc);
- c = cc;
- if (c != '\r')
- buff.push_back(c);
- } while (c != '\"' && c != '\n' && is);
-
- if (c != '\"') {
- printError("Missing quote");
- if (c == '\n')
- ++lineno;
- }
-
- buff.resize(buff.size()-1);
- status = LEX_DATA;
- break;
- }
-
- if (c == ',')
- continue; /* Skip ','s */
-
- // using relational operators with chars other
- // than == and != is not safe. And if it is done
- // the type _have_ to be unsigned. It usually a
- // lot better to use the functions from cctype
- if (c > ' ' && is) {
- buff.clear();
-
- do {
- buff.push_back(c);
- is.get(cc);
- c = cc;
- } while (c > ' ' && c != ',' && is);
-
- status = LEX_TOKEN;
- }
-
- if (c == '\r' && is) {
- // The Windows support has lead to the
- // possibility of "\r\n" at the end of
- // a line. This will stop LyX choking
- // when it expected to find a '\n'
- is.get(cc);
- c = cc;
- }
- if (c == '\n')
- ++lineno;
- }
- if (status)
- return true;
-
- status = is.eof() ? LEX_FEOF: LEX_UNDEF;
- buff.clear();
- return false;
- } else {
- unsigned char c = 0; // getc() returns an int
- char cc = 0;
-
- status = 0;
- while (is && !status) {
- is.get(cc);
- c = cc;
-
- // skip ','s
- if (c == ',')
- continue;
+ unsigned char c = 0; // getc() returns an int
+ char cc = 0;
+ status = 0;
+ while (is && !status) {
+ is.get(cc);
+ c = cc;
- if (c == commentChar) {
- // Read rest of line (fast :-)
+ if (c == commentChar) {
+ // Read rest of line (fast :-)
#if 1
- // That is still not fast... (Lgb)
- string dummy;
- getline(is, dummy);
+ // That is not fast... (Lgb)
+ string dummy;
+ getline(is, dummy);
- LYXERR(Debug::LYXLEX, "Comment read: `" << c << dummy << '\'');
+ LYXERR(Debug::LYXLEX, "Comment read: `" << c << dummy << '\'');
#else
- // but ignore is also still buggy (Lgb)
- // This is fast (Lgb)
- is.ignore(100, '\n');
+ // unfortunately ignore is buggy (Lgb)
+ is.ignore(100, '\n');
#endif
- ++lineno;
- continue;
- }
+ ++lineno;
+ continue;
+ }
+
+ if (c == '\"') {
+ buff.clear();
- // string
- if (c == '\"') {
- buff.clear();
+ if (esc) {
bool escaped = false;
do {
break;
} while (c != '\n' && is);
- if (c != '\"') {
- printError("Missing quote");
- if (c == '\n')
- ++lineno;
- }
+ } else {
+
+ do {
+ is.get(cc);
+ c = cc;
+ if (c != '\r')
+ buff.push_back(c);
+ } while (c != '\"' && c != '\n' && is);
- buff.resize(buff.size() -1);
- status = LEX_DATA;
- break;
}
- if (c > ' ' && is) {
- buff.clear();
+ if (c != '\"') {
+ printError("Missing quote");
+ if (c == '\n')
+ ++lineno;
+ }
- do {
- if (c == '\\') {
- // escape the next char
- is.get(cc);
- c = cc;
- //escaped = true;
- }
- buff.push_back(c);
+ buff.resize(buff.size() - 1);
+ status = LEX_DATA;
+ break;
+ }
+
+ if (c == ',')
+ continue; /* Skip ','s */
+
+ // using relational operators with chars other
+ // than == and != is not safe. And if it is done
+ // the type _have_ to be unsigned. It usually a
+ // lot better to use the functions from cctype
+ if (c > ' ' && is) {
+ buff.clear();
+
+ do {
+ if (esc && c == '\\') {
+ // escape the next char
is.get(cc);
c = cc;
- } while (c > ' ' && c != ',' && is);
+ //escaped = true;
+ }
+ buff.push_back(c);
+ is.get(cc);
+ c = cc;
+ } while (c > ' ' && c != ',' && is);
+ status = LEX_TOKEN;
+ }
- status = LEX_TOKEN;
- }
- // new line
- if (c == '\n')
- ++lineno;
+ if (c == '\r' && is) {
+ // The Windows support has lead to the
+ // possibility of "\r\n" at the end of
+ // a line. This will stop LyX choking
+ // when it expected to find a '\n'
+ is.get(cc);
+ c = cc;
}
- if (status)
- return true;
+ if (c == '\n')
+ ++lineno;
- status = is.eof() ? LEX_FEOF : LEX_UNDEF;
- buff.clear();
- return false;
}
+ if (status)
+ return true;
+
+ status = is.eof() ? LEX_FEOF: LEX_UNDEF;
+ buff.clear();
+ return false;
}
-int Lexer::Pimpl::search_kw(char const * const tag) const
+int Lexer::Pimpl::searchKeyword(char const * const tag) const
{
- keyword_item search_tag = { tag, 0 };
- keyword_item * res =
+ LexerKeyword search_tag = { tag, 0 };
+ LexerKeyword * res =
lower_bound(table, table + no_items,
search_tag, CompareTags());
// use the compare_ascii_no_case instead of compare_no_case,
{
//NOTE: possible bug.
if (next() && status == LEX_TOKEN)
- return search_kw(getString().c_str());
+ return searchKeyword(getString().c_str());
return status;
}
char cc = 0;
is.get(cc);
c = cc;
- if (c >= ' ' && is) {
+ if ((c >= ' ' || c == '\t') && is) {
buff.clear();
if (c == '\\') { // first char == '\\'
buff.push_back(c);
is.get(cc);
c = cc;
- } while (c >= ' ' && c != '\\' && is);
+ } while ((c >= ' ' || c == '\t') && c != '\\' && is);
}
if (c == '\\')
//
//////////////////////////////////////////////////////////////////////
-Lexer::Lexer(keyword_item * tab, int num)
- : pimpl_(new Pimpl(tab, num))
+Lexer::Lexer()
+ : pimpl_(new Pimpl(0, 0))
{}
+void Lexer::init(LexerKeyword * tab, int num)
+{
+ pimpl_ = new Pimpl(tab, num);
+}
+
+
Lexer::~Lexer()
{
delete pimpl_;
}
-void Lexer::setLineNo(int l)
+void Lexer::setLineNumber(int l)
{
pimpl_->lineno = l;
}
-int Lexer::getLineNo() const
+int Lexer::lineNumber() const
{
return pimpl_->lineno;
}
}
-void Lexer::pushTable(keyword_item * tab, int num)
+void Lexer::pushTable(LexerKeyword * tab, int num)
{
pimpl_->pushTable(tab, num);
}
pimpl_->setCommentChar(c);
}
+
int Lexer::lex()
{
return pimpl_->lex();
// explicit tokens (JMarc)
string const Lexer::getLongString(string const & endtoken)
{
- string str, prefix;
+ string str;
+ string prefix;
bool firstline = true;
while (pimpl_->is) { //< eatLine only reads from is, not from pushTok
LYXERR(Debug::PARSER, "LongString: `" << getString() << '\'');
- // We do a case independent comparison, like search_kw does.
+ // We do a case independent comparison, like searchKeyword does.
if (compare_ascii_no_case(token, endtoken) == 0)
break;
string tmpstr = getString();
if (firstline) {
- string::size_type i(tmpstr.find_first_not_of(' '));
+ size_t i = tmpstr.find_first_not_of(' ');
if (i != string::npos)
prefix = tmpstr.substr(0, i);
firstline = false;
// further lines in long strings may have the same
// whitespace prefix as the first line. Remove it.
- if (prefix.length() && prefixIs(tmpstr, prefix)) {
+ if (prefix.length() && prefixIs(tmpstr, prefix))
tmpstr.erase(0, prefix.length() - 1);
- }
str += ltrim(tmpstr, "\t") + '\n';
}
- if (!pimpl_->is) {
+ if (!pimpl_->is)
printError("Long string not ended by `" + endtoken + '\'');
- }
return str;
}
bool Lexer::getBool() const
{
- if (pimpl_->getString() == "true") {
+ string const s = pimpl_->getString();
+ if (s == "false" || s == "0") {
+ lastReadOk_ = true;
+ return false;
+ }
+ if (s == "true" || s == "1") {
lastReadOk_ = true;
return true;
- } else if (pimpl_->getString() != "false") {
- pimpl_->printError("Bad boolean `$$Token'. "
- "Use \"false\" or \"true\"");
- lastReadOk_ = false;
}
- lastReadOk_ = true;
+ pimpl_->printError("Bad boolean `$$Token'. "
+ "Use \"false\" or \"true\"");
+ lastReadOk_ = false;
return false;
}
}
-/// quotes a string, e.g. for use in preferences files or as an argument of the "log" dialog
-string const Lexer::quoteString(string const & arg)
+Lexer & Lexer::operator>>(char & c)
+{
+ string s;
+ operator>>(s);
+ if (!s.empty())
+ c = s[0];
+ return *this;
+}
+
+
+// quotes a string, e.g. for use in preferences files or as an argument
+// of the "log" dialog
+string Lexer::quoteString(string const & arg)
+{
+ string res;
+ res += '"';
+ res += subst(subst(arg, "\\", "\\\\"), "\"", "\\\"");
+ res += '"';
+ return res;
+}
+
+
+Lexer & Lexer::operator>>(char const * required)
+{
+ string token;
+ *this >> token;
+ if (token != required) {
+ LYXERR0("Missing '" << required << "'-tag in " << pimpl_->context
+ << ". Got " << token << " instead. Line: " << lineNumber());
+ pushToken(token);
+ }
+ return *this;
+}
+
+
+bool Lexer::checkFor(char const * required)
+{
+ string token;
+ *this >> token;
+ if (token == required)
+ return true;
+ pushToken(token);
+ return false;
+}
+
+
+void Lexer::setContext(std::string const & str)
{
- ostringstream os;
- os << '"' << subst(subst(arg, "\\", "\\\\"), "\"", "\\\"") << '"';
- return os.str();
+ pimpl_->context = str;
}