reset token_buffer; current character is beginning of token
| 8619 | |
| 8620 | /// reset token_buffer; current character is beginning of token |
| 8621 | void reset() noexcept |
| 8622 | { |
| 8623 | token_buffer.clear(); |
| 8624 | token_string.clear(); |
| 8625 | token_string.push_back(std::char_traits<char_type>::to_char_type(current)); |
| 8626 | } |
| 8627 | |
| 8628 | /* |
| 8629 | @brief get next character from the input |
no outgoing calls
no test coverage detected