* @brief Removes all whitespace from the given string. */
| 855 | * @brief Removes all whitespace from the given string. |
| 856 | */ |
| 857 | std::string removeWhitespace(std::string s) { |
| 858 | s.erase(std::remove_if(s.begin(), s.end(), |
| 859 | [](const unsigned char c) { return std::isspace(c); }), s.end()); |
| 860 | return s; |
| 861 | } |
| 862 | |
| 863 | /** |
| 864 | * @brief Transform @a position in @c json into line and column location. |