}
<notes>[ \t\n]+ {
}
-<notes>%.* {
+<notes>%.*$ {
}
<notes>\$ {
BEGIN(INITIAL); return '$';
}
-<notes>[\[{)] { /* parens () are NO mistake */
+<notes>[{}] {
+ return YYText()[0];
+
+}
+<notes>[\[)] { /* parens () are NO mistake */
yylval.c = YYText()[0];
return OPEN_REQUEST_PARENS;
}
-<notes>[\]}(] { /* parens () are NO mistake */
+<notes>[\](] { /* parens () are NO mistake */
yylval.c = YYText()[0];
return CLOSE_REQUEST_PARENS;
}
yyFlexLexer *lexer=0;
+bool
+busy_parsing()
+{
+ return lexer;
+}
+
// set the new input to s, remember old file.
void
new_input(String s)
kill_lexer()
{
delete lexer;
+ lexer = 0;
}