Searched refs:input_file (Results 1 – 1 of 1) sorted by relevance
329 void yyrestart ( FILE *input_file );2217 void yyrestart (FILE * input_file ) in yyrestart() argument2229 yy_init_buffer( YY_CURRENT_BUFFER, input_file ); in yyrestart()
