add a character to token_buffer
| 8700 | |
| 8701 | /// add a character to token_buffer |
| 8702 | void add(char_int_type c) |
| 8703 | { |
| 8704 | token_buffer.push_back(static_cast<typename string_t::value_type>(c)); |
| 8705 | } |
| 8706 | |
| 8707 | public: |
| 8708 | ///////////////////// |
no outgoing calls
no test coverage detected