-// Generalized simple lexical analizer.
-// It can be used for simple syntax parsers, like lyxrc,
-// texclass and others to come. [asierra30/03/96]
-//
-// (C) 1996 Lyx Team.
+/**
+ * \file lyxlex.C
+ * This file is part of LyX, the document processor.
+ * Licence details can be found in the file COPYING.
+ *
+ * \author Alejandro Aguilar Sierra
+ * \author Lars Gullik Bjønnes
+ * \author Jean-Marc Lasgouttes
+ * \author John Levon
+ *
+ * Full author contact details are available in file CREDITS.
+ */
#include <config.h>
-#include <cstdlib>
-
-#ifdef __GNUG__
-#pragma implementation "lyxlex.h"
-#endif
-
#include "lyxlex.h"
+#include "lyxlex_pimpl.h"
#include "debug.h"
#include "support/filetools.h"
+#include "support/lstrings.h"
+
+using namespace lyx::support;
+
+using std::ostream;
+using std::istream;
+using std::endl;
-using std::ios;
LyXLex::LyXLex(keyword_item * tab, int num)
- : is(&fb__), table(tab), no_items(num)
+ : pimpl_(new Pimpl(tab, num))
+{}
+
+
+LyXLex::~LyXLex()
+{
+ delete pimpl_;
+}
+
+
+bool LyXLex::isOK() const
+{
+ return pimpl_->is.good();
+}
+
+
+void LyXLex::setLineNo(int l)
+{
+ pimpl_->lineno = l;
+}
+
+
+int LyXLex::getLineNo() const
+{
+ return pimpl_->lineno;
+}
+
+
+istream & LyXLex::getStream()
{
-
- status = 0;
- pushed = 0;
+ return pimpl_->is;
}
void LyXLex::pushTable(keyword_item * tab, int num)
{
- pushed_table * tmppu = new pushed_table;
- tmppu->next = pushed;
- tmppu->table_elem = table;
- tmppu->table_siz = no_items;
- pushed = tmppu;
- table = tab;
- no_items = num;
+ pimpl_->pushTable(tab, num);
}
void LyXLex::popTable()
{
- if (pushed == 0)
- lyxerr << "LyXLex error: nothing to pop!" << endl;
-
- pushed_table * tmp;
- tmp = pushed;
- table = tmp->table_elem;
- no_items = tmp->table_siz;
- tmp->table_elem = 0;
- pushed = tmp->next;
- delete tmp;
+ pimpl_->popTable();
}
-void LyXLex::printTable()
+void LyXLex::printTable(ostream & os)
{
- lyxerr << "\nNumber of tags: " << no_items << endl;
- for(int i= 0; i < no_items; ++i)
- lyxerr << "table[" << i
- << "]: tag: `" << table[i].tag
- << "' code:" << table[i].code << endl;
- lyxerr << endl;
+ pimpl_->printTable(os);
}
void LyXLex::printError(string const & message) const
{
- string tmpmsg = subst(message, "$$Token", GetString());
- lyxerr << "LyX: " << tmpmsg << " [around line " << lineno
- << " of file " << MakeDisplayPath(name) << ']' << endl;
+ pimpl_->printError(message);
}
bool LyXLex::setFile(string const & filename)
{
- if (fb__.is_open())
- lyxerr << "Error in LyXLex::setFile: "
- "file or stream already set." << endl;
- fb__.open(filename.c_str(), ios::in);
- is.rdbuf(&fb__);
- name = filename;
- lineno = 0;
- return fb__.is_open() && is.good();
+ return pimpl_->setFile(filename);
}
void LyXLex::setStream(istream & i)
{
- if (fb__.is_open() || is.rdbuf()->in_avail())
- lyxerr << "Error in LyXLex::setStream: "
- "file or stream already set." << endl;
- is.rdbuf(i.rdbuf());
- lineno = 0;
+ pimpl_->setStream(i);
}
+void LyXLex::setCommentChar(char c)
+{
+ pimpl_->setCommentChar(c);
+}
+
int LyXLex::lex()
{
- //NOTE: possible bug.
- if (next() && status == LEX_TOKEN)
- return search_kw(buff);
- else
- return status;
+ return pimpl_->lex();
}
-int LyXLex::GetInteger() const
+int LyXLex::getInteger() const
{
- if (buff[0] > ' ')
- return atoi(buff);
- else {
- printError("Bad integer `$$Token'");
- return -1;
- }
+ if (isStrInt(pimpl_->getString()))
+ return strToInt(pimpl_->getString());
+ pimpl_->printError("Bad integer `$$Token'");
+ return -1;
}
-float LyXLex::GetFloat() const
+float LyXLex::getFloat() const
{
- if (buff[0] > ' ')
- return atof(buff);
- else {
- printError("Bad float `$$Token'");
+ // replace comma with dot in case the file was written with
+ // the wrong locale (should be rare, but is easy enough to
+ // avoid).
+ string str = subst(pimpl_->getString(), ",", ".");
+ if (isStrDbl(str))
+ return strToDbl(str);
+ pimpl_->printError("Bad float `$$Token'");
return -1;
- }
}
-string LyXLex::GetString() const
+string const LyXLex::getString() const
{
- return string(buff);
+ return pimpl_->getString();
}
// I would prefer to give a tag number instead of an explicit token
-// here, but it is not possible because Buffer::readLyXformat2 uses
-// explicit tokens (JMarc)
-string LyXLex::getLongString(string const & endtoken)
+// here, but it is not possible because Buffer::readBody uses
+// explicit tokens (JMarc)
+string const LyXLex::getLongString(string const & endtoken)
{
string str, prefix;
bool firstline = true;
- while (IsOK()) {
- if (!EatLine())
+ while (isOK()) {
+ if (!eatLine())
// blank line in the file being read
continue;
-
- string const token = frontStrip(strip(GetString()), " \t");
-
+
+ string const token = trim(getString(), " \t");
+
lyxerr[Debug::PARSER] << "LongString: `"
- << GetString() << '\'' << endl;
+ << getString() << '\'' << endl;
// We do a case independent comparison, like search_kw
// does.
- if (compare_no_case(token, endtoken) != 0) {
- string tmpstr = GetString();
- if (firstline) {
- unsigned int i = 0;
- while(i < tmpstr.length()
- && tmpstr[i] == ' ') {
- ++i;
- prefix += ' ';
- }
- firstline = false;
- lyxerr[Debug::PARSER] << "Prefix = `" << prefix
- << '\'' << endl;
- }
-
- if (!prefix.empty()
- && prefixIs(tmpstr, prefix.c_str())) {
- tmpstr.erase(0, prefix.length() - 1);
- }
- str += tmpstr + '\n';
- }
- else // token == endtoken
+ if (compare_ascii_no_case(token, endtoken) == 0)
break;
+
+ string tmpstr = getString();
+ if (firstline) {
+ string::size_type i(tmpstr.find_first_not_of(' '));
+ if (i != string::npos)
+ prefix = tmpstr.substr(0, i);
+ firstline = false;
+ lyxerr[Debug::PARSER]
+ << "Prefix = `" << prefix << "\'" << endl;
+ }
+
+ // further lines in long strings may have the same
+ // whitespace prefix as the first line. Remove it.
+ if (prefix.length() && prefixIs(tmpstr, prefix)) {
+ tmpstr.erase(0, prefix.length() - 1);
+ }
+
+ str += ltrim(tmpstr, "\t") + '\n';
}
- if (!IsOK())
+
+ if (!isOK()) {
printError("Long string not ended by `" + endtoken + '\'');
+ }
return str;
}
-bool LyXLex::GetBool() const
+bool LyXLex::getBool() const
{
- if (compare(buff, "true") == 0)
+ if (pimpl_->getString() == "true") {
return true;
- else if (compare(buff, "false") != 0)
- printError("Bad boolean `$$Token'. Use \"false\" or \"true\"");
+ } else if (pimpl_->getString() != "false") {
+ pimpl_->printError("Bad boolean `$$Token'. Use \"false\" or \"true\"");
+ }
return false;
}
-bool LyXLex::EatLine()
+bool LyXLex::eatLine()
{
- int i = 0;
- unsigned char c = '\0';
-
- while(is && c != '\n' && i != (LEX_MAX_BUFF - 1)) {
- is.get(c);
- if (c != '\r')
- buff[i++] = c;
- }
- if (i == (LEX_MAX_BUFF - 1) && c != '\n') {
- printError("Line too long");
- c = '\n'; // Pretend we had an end of line
- --lineno; // but don't increase line counter (netto effect)
- ++i; // and preserve last character read.
- }
- if (c == '\n') {
- ++lineno;
- buff[--i] = '\0'; // i can never be 0 here, so no danger
- status = LEX_DATA;
- return true;
- } else {
- buff[i] = '\0';
- return false;
- }
+ return pimpl_->eatLine();
}
-int LyXLex::search_kw(char const * const tag) const
+bool LyXLex::next(bool esc)
{
- int m, k = 0 , l = 0, r = no_items;
-
- while (l < r) {
- m = (l + r) / 2;
+ return pimpl_->next(esc);
+}
- if (lyxerr.debugging(Debug::PARSER)) {
- lyxerr << "LyXLex::search_kw: elem " << m
- << " tag " << table[m].tag
- << " search tag " << tag
- << endl;
- }
- if (table[m].tag)
- k = compare_no_case(table[m].tag, tag);
- if (k == 0)
- return table[m].code;
- else
- if (k < 0) l = m + 1; else r = m;
- }
- return LEX_UNDEF;
+bool LyXLex::nextToken()
+{
+ return pimpl_->nextToken();
}
-bool LyXLex::next(bool esc)
+void LyXLex::pushToken(string const & pt)
{
- if (!esc) {
- unsigned char c; // getc() returns an int
-
- status = 0;
- while (is && !status) {
- is.get(c);
- if (c == '#') {
- // Read rest of line (fast :-)
- is.get(buff, sizeof(buff));
- lyxerr[Debug::LYXLEX] << "Comment read: " << c << buff << endl;
- ++lineno;
- continue;
- }
-
- if (c == '\"') {
- int i = -1;
- do {
- is.get(c);
- if (c != '\r')
- buff[++i] = c;
- } while (c != '\"' && c != '\n' && is &&
- i != (LEX_MAX_BUFF - 2));
-
- if (i == (LEX_MAX_BUFF - 2)) {
- printError("Line too long");
- c = '\"'; // Pretend we got a "
- ++i;
- }
-
- if (c != '\"') {
- printError("Missing quote");
- if (c == '\n')
- ++lineno;
- }
-
- buff[i] = '\0';
- 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) {
-#warning Verify this! (Lgb)
- //if (isalnum(static_cast<unsigned char>(c)) && is) {
- int i = 0;
- do {
- buff[i++] = c;
- is.get(c);
- } while (c > ' ' && c != ',' && is
- //} while (isalnum(static_cast<unsigned char>(c))
- //&& c != ',' && is
- && (i != LEX_MAX_BUFF - 1) );
- if (i == LEX_MAX_BUFF - 1) {
- printError("Line too long");
- }
- buff[i] = '\0';
- 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(c);
- }
-
- if (c == '\n')
- ++lineno;
-
- }
- if (status) return true;
-
- status = is.eof() ? LEX_FEOF: LEX_UNDEF;
- buff[0] = '\0';
- return false;
- } else {
- unsigned char c; // getc() returns an int
-
- status = 0;
- while (is && !status) {
- is.get(c);
-
- // skip ','s
- if (c == ',') continue;
-
- if (c == '\\') {
- // escape
- int i = 0;
- do {
- if (c == '\\') {
- // escape the next char
- is.get(c);
- }
- buff[i++] = c;
- is.get(c);
- } while (c > ' ' && c != ',' && is
- //} while (isalnum(static_cast<unsigned char>(c))
- //&& c != ',' && is
- && (i != LEX_MAX_BUFF - 1) );
- if (i == LEX_MAX_BUFF - 1) {
- printError("Line too long");
- }
- buff[i] = '\0';
- status = LEX_TOKEN;
- continue;
- }
-
- if (c == '#') {
- // Read rest of line (fast :-)
- is.get(buff, sizeof(buff));
- lyxerr[Debug::LYXLEX] << "Comment read: " << c << buff << endl;
- ++lineno;
- continue;
- }
-
- // string
- if (c == '\"') {
- int i = -1;
- bool escaped = false;
- do {
- escaped = false;
- is.get(c);
- if (c == '\r') continue;
- if (c == '\\') {
- // escape the next char
- is.get(c);
- escaped = true;
- }
- buff[++i] = c;
-
- if (!escaped && c == '\"') break;
- } while (c != '\n' && is &&
- i != (LEX_MAX_BUFF - 2));
-
- if (i == (LEX_MAX_BUFF - 2)) {
- printError("Line too long");
- c = '\"'; // Pretend we got a "
- ++i;
- }
-
- if (c != '\"') {
- printError("Missing quote");
- if (c == '\n')
- ++lineno;
- }
-
- buff[i] = '\0';
- status = LEX_DATA;
- break;
- }
-
- if (c > ' ' && is) {
- //if (isalnum(static_cast<unsigned char>(c)) && is) {
- int i = 0;
- do {
- if (c == '\\') {
- // escape the next char
- is.get(c);
- //escaped = true;
- }
- buff[i++] = c;
- is.get(c);
- } while (c > ' ' && c != ',' && is
- //} while (isalnum(static_cast<unsigned char>(c))
- //!= ',' && is
- && (i != LEX_MAX_BUFF-1) );
- if (i == LEX_MAX_BUFF-1) {
- printError("Line too long");
- }
- buff[i] = '\0';
- status = LEX_TOKEN;
- }
- // new line
- if (c == '\n')
- ++lineno;
- }
-
- if (status) return true;
-
- status = is.eof() ? LEX_FEOF: LEX_UNDEF;
- buff[0] = '\0';
- return false;
- }
+ pimpl_->pushToken(pt);
}
-bool LyXLex::nextToken()
+int LyXLex::findToken(char const * str[])
{
- status = 0;
- while (is && !status) {
- unsigned char c;
- is.get(c);
-
- if (c >= ' ' && is) {
- //if (isprint(static_cast<unsigned char>(c)) && is) {
- int i = 0;
- if (c == '\\') { // first char == '\\'
- do {
- buff[i++] = c;
- is.get(c);
- } while (c > ' ' && c != '\\' && is
- //} while (isalnum(static_cast<unsigned char>(c))
- // && c != '\\' && is
- && i != (LEX_MAX_BUFF-1));
- } else {
- do {
- buff[i++] = c;
- is.get(c);
- } while (c >= ' ' && c != '\\' && is
- //} while (isprint(static_cast<unsigned char>(c))
- // && c != '\\' && is
- && i != (LEX_MAX_BUFF-1));
- }
-
- if (i == (LEX_MAX_BUFF - 1)) {
- printError("Line too long");
- }
-
- if (c == '\\') is.putback(c); // put it back
- buff[i] = '\0';
- status = LEX_TOKEN;
- }
-
- if (c == '\n')
- ++lineno;
-
+ if (!next()) {
+ pimpl_->printError("file ended while scanning string token");
+ return -1;
}
- if (status) return true;
-
- status = is.eof() ? LEX_FEOF: LEX_UNDEF;
- buff[0] = '\0';
- return false;
-}
+ int i = 0;
-int LyXLex::FindToken(char const * str[])
-{
- int i = -1;
-
- if (next()) {
- if (compare(buff, "default")) {
- for (i = 0; str[i][0] && compare(str[i], buff); ++i);
- if (!str[i][0]) {
- printError("Unknown argument `$$Token'");
- i = -1;
- }
- }
- } else
- printError("file ended while scanning string token");
- return i;
-}
+ string const search_token = pimpl_->getString();
+ if (search_token != "default") {
+ while (str[i][0] && str[i] != search_token) {
+ ++i;
+ }
+ if (!str[i][0]) {
+ pimpl_->printError("Unknown argument `$$Token'");
+ i = -1;
+ }
+ }
-int LyXLex::CheckToken(char const * str[], int print_error)
-{
- int i = -1;
-
- if (compare(buff, "default")) {
- for (i = 0; str[i][0] && compare(str[i], buff); ++i);
- if (!str[i][0]) {
- if (print_error)
- printError("Unknown argument `$$Token'");
- i = -1;
- }
- }
- return i;
+ return i;
}