+ char_count_stack_.push (0);
+ if (yy_current_buffer)
+ state_stack_.push (yy_current_buffer);
+
+ if (verbose_global_b)
+ progress_indication (String ("[") + name);
+ include_stack_.push (file);
+
+ yy_switch_to_buffer (yy_create_buffer (file->get_istream (), YY_BUF_SIZE));