Georg Baum wrote:
Am Freitag, 2. März 2007 23:40 schrieb Bernhard Roider:
The rule for using the lexer:
if you want to know if the lexer still has data to read (either from the
stream or from the pushed
token) then use "lex.isOK()".
If you want to test if the last reading operation was successful then use
eg. "if (lex) {...}" or
unsuccessful then use eg. "if (!lex) {...}"
If these rules are correct then the whole changeset
http://www.lyx.org/trac/changeset/17284 (including the ERT fix) is wrong,
so the ERT bug needs to be fixed differently.
The rules are correct after this patch is applied. For the current trunk i saw no possibility to
test whether a read operation from the lexer was successful.
Bernhard
