void writeJSONToFile()

in servo_pkg/src/utility.cpp [33:42]


    void writeJSONToFile(Json::Value jsonValue, const std::string &filePath) {
        // Write to file
        Json::StreamWriterBuilder builder;
        builder["commentStyle"] = "None";
        builder["indentation"] = "   ";

        std::unique_ptr<Json::StreamWriter> writer(builder.newStreamWriter());
        std::ofstream ofs(filePath);
        writer->write(jsonValue, &ofs);
    }