YY_CURRENT_BUFFER
if ( ! YY_CURRENT_BUFFER ) {
YY_BUFFER_STATE b = YY_CURRENT_BUFFER;
if ( ! YY_CURRENT_BUFFER ){
yy_init_buffer(YY_CURRENT_BUFFER,input_file );
if ( YY_CURRENT_BUFFER == new_buffer )
if ( YY_CURRENT_BUFFER )
if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
if (b != YY_CURRENT_BUFFER){
if ( b == YY_CURRENT_BUFFER )
if ( YY_CURRENT_BUFFER )
if (YY_CURRENT_BUFFER)
if (!YY_CURRENT_BUFFER)
yy_delete_buffer(YY_CURRENT_BUFFER );
if (YY_CURRENT_BUFFER) {
while(YY_CURRENT_BUFFER){
yy_delete_buffer(YY_CURRENT_BUFFER );
#define YY_FLUSH_BUFFER yy_flush_buffer(YY_CURRENT_BUFFER )
if ( ! YY_CURRENT_BUFFER ){ \
if ( ! YY_CURRENT_BUFFER ){\
YY_BUFFER_STATE b = YY_CURRENT_BUFFER;
if ( ! YY_CURRENT_BUFFER ){
yy_init_buffer(YY_CURRENT_BUFFER,input_file );
if ( YY_CURRENT_BUFFER == new_buffer )
if ( YY_CURRENT_BUFFER )
if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
if (b != YY_CURRENT_BUFFER){
if ( b == YY_CURRENT_BUFFER )
if ( YY_CURRENT_BUFFER )
if (YY_CURRENT_BUFFER)
if (!YY_CURRENT_BUFFER)
yy_delete_buffer(YY_CURRENT_BUFFER );
if (YY_CURRENT_BUFFER) {
while(YY_CURRENT_BUFFER){
yy_delete_buffer(YY_CURRENT_BUFFER );
#define YY_FLUSH_BUFFER yy_flush_buffer(YY_CURRENT_BUFFER )
if ( ! YY_CURRENT_BUFFER ){ \
if ( ! YY_CURRENT_BUFFER ){\
if ( ! YY_CURRENT_BUFFER ) {
YY_BUFFER_STATE b = YY_CURRENT_BUFFER;
if ( ! YY_CURRENT_BUFFER ){
yy_init_buffer(YY_CURRENT_BUFFER,input_file );
if ( YY_CURRENT_BUFFER == new_buffer )
if ( YY_CURRENT_BUFFER )
if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
if (b != YY_CURRENT_BUFFER){
if ( b == YY_CURRENT_BUFFER )
if ( YY_CURRENT_BUFFER )
if (YY_CURRENT_BUFFER)
if (!YY_CURRENT_BUFFER)
yy_delete_buffer(YY_CURRENT_BUFFER );
if (YY_CURRENT_BUFFER) {
while(YY_CURRENT_BUFFER){
yy_delete_buffer(YY_CURRENT_BUFFER );
#define YY_FLUSH_BUFFER yy_flush_buffer(YY_CURRENT_BUFFER )
if ( ! YY_CURRENT_BUFFER ){ \
if ( ! YY_CURRENT_BUFFER ){\
if ( ! YY_CURRENT_BUFFER ) {
if ( ! YY_CURRENT_BUFFER ){
yy_init_buffer( YY_CURRENT_BUFFER, input_file );
if ( YY_CURRENT_BUFFER == new_buffer )
if ( YY_CURRENT_BUFFER )
if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
if (b != YY_CURRENT_BUFFER){
if ( b == YY_CURRENT_BUFFER )
if ( YY_CURRENT_BUFFER )
if (YY_CURRENT_BUFFER)
if (!YY_CURRENT_BUFFER)
yy_delete_buffer(YY_CURRENT_BUFFER );
if (YY_CURRENT_BUFFER) {
while(YY_CURRENT_BUFFER){
yy_delete_buffer( YY_CURRENT_BUFFER );
#define yy_current_buffer YY_CURRENT_BUFFER
#define YY_FLUSH_BUFFER yy_flush_buffer( YY_CURRENT_BUFFER )
if ( ! YY_CURRENT_BUFFER ){ \
if ( ! YY_CURRENT_BUFFER ){\
if ( ! YY_CURRENT_BUFFER ) {
if ( ! YY_CURRENT_BUFFER ) {
#define yy_current_buffer YY_CURRENT_BUFFER
#define YY_FLUSH_BUFFER yy_flush_buffer( YY_CURRENT_BUFFER )
if ( ! YY_CURRENT_BUFFER ){ \
if ( ! YY_CURRENT_BUFFER ){\
if ( ! YY_CURRENT_BUFFER ){
yy_init_buffer( YY_CURRENT_BUFFER, input_file );
if ( YY_CURRENT_BUFFER == new_buffer )
if ( YY_CURRENT_BUFFER )
if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
if (b != YY_CURRENT_BUFFER){
if ( b == YY_CURRENT_BUFFER )
if ( YY_CURRENT_BUFFER )
if (YY_CURRENT_BUFFER)
if (!YY_CURRENT_BUFFER)
yy_delete_buffer(YY_CURRENT_BUFFER );
if (YY_CURRENT_BUFFER) {
while(YY_CURRENT_BUFFER){
yy_delete_buffer( YY_CURRENT_BUFFER );