Method EscapeJSONCString

vulkaninfo/outputprinter.h:756–792

Replace special characters in strings with their escaped versions.

    // Replace special characters in strings with their escaped versions.
    // <https://www.json.org/json-en.html>
    std::string EscapeJSONCString(std::string string) {
        if (output_type == OutputType::text || output_type == OutputType::html) return string;
        std::string out{};
        for (size_t i = 0; i < string.size(); i++) {
            char c = string[i];
            char out_c = c;
            switch (c) {
                case '\"':
                case '\\':
                    out.push_back('\\');
                    break;
                case '\b':
                    out.push_back('\\');
                    out_c = 'b';
                    break;
                case '\f':
                    out.push_back('\\');
                    out_c = 'f';
                    break;
                case '\n':
                    out.push_back('\\');
                    out_c = 'n';
                    break;
                case '\r':
                    out.push_back('\\');
                    out_c = 'r';
                    break;
                case '\t':
                    out.push_back('\\');
                    out_c = 't';
                    break;
            }
            out.push_back(out_c);
        }

        return out;
    }
};
// Purpose: When a Printer starts an object or array it will automatically indent the output. This isn't
// always desired, requiring a manual decrease of indention. This wrapper facilitates that while also