void matcher_parser_init(void);
void matcher_parser_switch_to_buffer(void * new_buffer);
void matcher_parser_delete_buffer(void * b);
+void matcher_parserpop_buffer_state(void);
int matcher_parserlex(void);
void matcher_parser_start_parsing(FILE *f)
matcher_parserlineno = 1;
matcher_parse_op = MATCHER_PARSE_NO_EOL;
matcher_parserrestart(NULL);
+ matcher_parserpop_buffer_state();
matcher_parser_init();
bufstate = matcher_parser_scan_string((const char *) tmp_str);
matcher_parser_switch_to_buffer(bufstate);
matcher_parserlineno = 1;
matcher_parse_op = MATCHER_PARSE_NAME;
matcher_parserrestart(NULL);
+ matcher_parserpop_buffer_state();
matcher_parser_init();
bufstate = matcher_parser_scan_string(str);
matcher_parserparse();
matcher_parserlineno = 1;
matcher_parse_op = MATCHER_PARSE_ENABLED;
matcher_parserrestart(NULL);
+ matcher_parserpop_buffer_state();
matcher_parser_init();
bufstate = matcher_parser_scan_string(str);
matcher_parserparse();
matcher_parserlineno = 1;
matcher_parse_op = MATCHER_PARSE_ACCOUNT;
matcher_parserrestart(NULL);
+ matcher_parserpop_buffer_state();
matcher_parser_init();
bufstate = matcher_parser_scan_string(str);
matcher_parserparse();
matcher_parserlineno = 1;
matcher_parse_op = MATCHER_PARSE_CONDITION;
matcher_parserrestart(NULL);
+ matcher_parserpop_buffer_state();
matcher_parser_init();
bufstate = matcher_parser_scan_string(str);
matcher_parserparse();
matcher_parserlineno = 1;
matcher_parse_op = MATCHER_PARSE_FILTERING_ACTION;
matcher_parserrestart(NULL);
+ matcher_parserpop_buffer_state();
matcher_parser_init();
bufstate = matcher_parser_scan_string(str);
matcher_parserparse();
%token MATCHER_LOCK MATCHER_UNLOCK
%token MATCHER_EXECUTE
%token MATCHER_MARK_AS_READ MATCHER_MARK_AS_UNREAD MATCHER_FORWARD
-%token MATCHER_FORWARD_AS_ATTACHMENT MATCHER_EOL MATCHER_STRING
+%token MATCHER_FORWARD_AS_ATTACHMENT MATCHER_EOL
%token MATCHER_OR MATCHER_AND
%token MATCHER_COLOR MATCHER_SCORE_EQUAL MATCHER_REDIRECT
%token MATCHER_SIZE_GREATER MATCHER_SIZE_SMALLER MATCHER_SIZE_EQUAL