add a character to token_buffer
| 7338 | |
| 7339 | /// add a character to token_buffer |
| 7340 | void add(char_int_type c) |
| 7341 | { |
| 7342 | token_buffer.push_back(static_cast<typename string_t::value_type>(c)); |
| 7343 | } |
| 7344 | |
| 7345 | public: |
| 7346 | ///////////////////// |
no test coverage detected