| 12983 | std::vector<source_position> ends; |
| 12984 | |
| 12985 | void clear() noexcept |
| 12986 | { |
| 12987 | buffer.clear(); |
| 12988 | segments.clear(); |
| 12989 | starts.clear(); |
| 12990 | ends.clear(); |
| 12991 | } |
| 12992 | |
| 12993 | void push_back(std::string_view segment, source_position b, source_position e) |
| 12994 | { |