reset token_buffer; current character is beginning of token
| 7257 | |
| 7258 | /// reset token_buffer; current character is beginning of token |
| 7259 | void reset() noexcept |
| 7260 | { |
| 7261 | token_buffer.clear(); |
| 7262 | token_string.clear(); |
| 7263 | token_string.push_back(std::char_traits<char_type>::to_char_type(current)); |
| 7264 | } |
| 7265 | |
| 7266 | /* |
| 7267 | @brief get next character from the input |
no test coverage detected