Removes and deletes the top of the stack, if present. * The next element becomes the new top. * @param yyscanner The scanner object. */
| 1997 | * @param yyscanner The scanner object. |
| 1998 | */ |
| 1999 | void yypop_buffer_state (yyscan_t yyscanner) |
| 2000 | { |
| 2001 | struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; |
| 2002 | if (!YY_CURRENT_BUFFER) |
| 2003 | return; |
| 2004 | |
| 2005 | yy_delete_buffer(YY_CURRENT_BUFFER , yyscanner); |
| 2006 | YY_CURRENT_BUFFER_LVALUE = NULL; |
| 2007 | if (yyg->yy_buffer_stack_top > 0) |
| 2008 | --yyg->yy_buffer_stack_top; |
| 2009 | |
| 2010 | if (YY_CURRENT_BUFFER) { |
| 2011 | yy_load_buffer_state( yyscanner ); |
| 2012 | yyg->yy_did_buffer_switch_on_eof = 1; |
| 2013 | } |
| 2014 | } |
| 2015 | |
| 2016 | /* Allocates the stack if it does not exist. |
| 2017 | * Guarantees space for at least one push. |
no test coverage detected