Function toJSON

scripts/update.ts:11–53

(data: string)

function toJSON(data: string): Record<string, string | number> {
  const json: Record<string, string | number> = {};
  const offset =
    data.split("\n").find((i) => i.includes("----"))?.indexOf("----") || 0;
  for (const line of data.split("\n").filter((i) => i.trim().length)) {
    if (line.includes(":") && !line.includes("----")) {
      // ladybird: "Richards: 292"
      // goja: 2025/03/29 16:43:06 DeltaBlue: 525
      const [k, v] = line.slice(offset)
        .replaceAll('"', "")
        // rhino: INFO Richards: 56.3
        .replaceAll("INFO ", "")
        .split(":")
        .map((i) => i.trim());

      if (
        ![
          "Version",
          "Total size",
          "Exe size",
          "Dll size",
          "Richards",
          "DeltaBlue",
          "Crypto",
          "RayTrace",
          "EarleyBoyer",
          "RegExp",
          "Splay",
          "NavierStokes",
          "Score",
          "Score/MB",
          "Time(s)",
        ].includes(k)
      ) {
        continue;
      }
      const n = +v;
      json[k] = isNaN(n) ? 0 : n | 0;
    }
  }

  return json;
}

function execCmd(cmd: string, cwd?: string) {
  console.error(`cmd:`, { cmd, cwd });