yylex_destroy is for both reentrant and non-reentrant scanners. */
| 3872 | |
| 3873 | /* yylex_destroy is for both reentrant and non-reentrant scanners. */ |
| 3874 | int yylex_destroy (void) |
| 3875 | { |
| 3876 | |
| 3877 | /* Pop the buffer stack, destroying each element. */ |
| 3878 | while(YY_CURRENT_BUFFER){ |
| 3879 | yy_delete_buffer( YY_CURRENT_BUFFER ); |
| 3880 | YY_CURRENT_BUFFER_LVALUE = NULL; |
| 3881 | yypop_buffer_state(); |
| 3882 | } |
| 3883 | |
| 3884 | /* Destroy the stack itself. */ |
| 3885 | yyfree((yy_buffer_stack) ); |
| 3886 | (yy_buffer_stack) = NULL; |
| 3887 | |
| 3888 | /* Reset the globals. This is important in a non-reentrant scanner so the next time |
| 3889 | * yylex() is called, initialization will occur. */ |
| 3890 | yy_init_globals( ); |
| 3891 | |
| 3892 | return 0; |
| 3893 | } |
| 3894 | |
| 3895 | /* |
| 3896 | * Internal utility routines. |
nothing calls this directly
no test coverage detected