Immediately switch to a different input stream. * @param input_file A readable stream. * * @note This function does not reset the start condition to @c INITIAL . */
| 3389 | * @note This function does not reset the start condition to @c INITIAL . |
| 3390 | */ |
| 3391 | void yyrestart (FILE * input_file ) |
| 3392 | { |
| 3393 | |
| 3394 | if ( ! YY_CURRENT_BUFFER ){ |
| 3395 | yyensure_buffer_stack (); |
| 3396 | YY_CURRENT_BUFFER_LVALUE = |
| 3397 | yy_create_buffer( yyin, YY_BUF_SIZE ); |
| 3398 | } |
| 3399 | |
| 3400 | yy_init_buffer( YY_CURRENT_BUFFER, input_file ); |
| 3401 | yy_load_buffer_state( ); |
| 3402 | } |
| 3403 | |
| 3404 | /** Switch to a different input buffer. |
| 3405 | * @param new_buffer The new input buffer. |
no test coverage detected