Lines Matching refs:append_comment
2243 void append_comment(const char *t) { in append_comment() function
2798 append_comment(yytext);
2799 append_comment("\n");
2807 append_comment(yytext);
2816 append_comment(yytext);
2823 append_comment(yytext);
2831 { append_comment("\n"); }
2837 { append_comment("\n"); }
2842 { append_comment("\n"); }
2848 { append_comment("\n"); }
2854 append_comment(yytext);
2927 { rav_count = 1; append_comment(yytext); BEGIN(RAV); }
2932 { rav_count++; append_comment(yytext); }
2937 { rav_count--; append_comment(yytext);
2944 { append_comment(yytext);
2957 { append_comment(yytext); }