Function sevCounts

extensions/java-modernization-studio/renderer.mjs:495–499

(f)

        return { title: x.title, detail: x.detail, files: x.files, severity: x.severity };
    }
    function sevCounts(f) {
        const c = { P0: 0, P1: 0, P2: 0, P3: 0 };
        (f || []).forEach((x) => { if (c[x.severity] != null) c[x.severity]++; });
        return c;
    }
    function sevBadgeClass(sev) {
        return { P0: "b-red", P1: "b-amber", P2: "b-blue", P3: "b-gray" }[sev] || "b-gray";
    }