reset token_buffer; current character is beginning of token
| 7938 | |
| 7939 | /// reset token_buffer; current character is beginning of token |
| 7940 | void reset() noexcept |
| 7941 | { |
| 7942 | token_buffer.clear(); |
| 7943 | token_string.clear(); |
| 7944 | token_string.push_back(std::char_traits<char_type>::to_char_type(current)); |
| 7945 | } |
| 7946 | |
| 7947 | /* |
| 7948 | @brief get next character from the input |
no test coverage detected