reset token_buffer; current character is beginning of token
| 8623 | |
| 8624 | /// reset token_buffer; current character is beginning of token |
| 8625 | void reset() noexcept |
| 8626 | { |
| 8627 | token_buffer.clear(); |
| 8628 | token_string.clear(); |
| 8629 | token_string.push_back(std::char_traits<char_type>::to_char_type(current)); |
| 8630 | } |
| 8631 | |
| 8632 | /* |
| 8633 | @brief get next character from the input |