add a character to token_buffer
| 7270 | |
| 7271 | /// add a character to token_buffer |
| 7272 | void add(char_int_type c) |
| 7273 | { |
| 7274 | token_buffer.push_back(static_cast<typename string_t::value_type>(c)); |
| 7275 | } |
| 7276 | |
| 7277 | public: |
| 7278 | ///////////////////// |
no test coverage detected