| 504 | } |
| 505 | |
| 506 | string deescape(string s, const set<size_t> &escapes) |
| 507 | { |
| 508 | for (auto i = escapes.rbegin(); i != escapes.rend(); ++i) |
| 509 | s.erase(*i, 1); |
| 510 | return s; |
| 511 | } |
| 512 | |
| 513 | /// simply remove backslashes protecting any escaped characters. Intended for |
| 514 | /// use after moret interesting escape processing has happened. |
nothing calls this directly
no test coverage detected