Function writeJson

deps/v8/tools/profile.mjs:1477–1479

(s)

};

function writeJson(s) {
  write(JSON.stringify(s, null, 2));
}

JsonProfile.prototype.writeJson = function () {
  // Write out the JSON in a partially manual way to avoid creating too-large