add a character to token_buffer
| 8019 | |
| 8020 | /// add a character to token_buffer |
| 8021 | void add(char_int_type c) |
| 8022 | { |
| 8023 | token_buffer.push_back(static_cast<typename string_t::value_type>(c)); |
| 8024 | } |
| 8025 | |
| 8026 | public: |
| 8027 | ///////////////////// |
no test coverage detected