2025-04-18 20:38:55 +09:00
|
|
|
const NODE_PADDING = 10;
|
|
|
|
const LINE_HEIGHT = 14;
|
|
|
|
const canvas = new OffscreenCanvas(0, 0);
|
2025-06-13 15:59:36 +09:00
|
|
|
const ctx = canvas.getContext("2d");
|
2025-04-18 20:38:55 +09:00
|
|
|
ctx.font = `${LINE_HEIGHT}px sans-serif`;
|
|
|
|
|
|
|
|
onmessage = (e) => {
|
2025-06-22 10:51:42 +09:00
|
|
|
const { graph, additions, ctxs } = e.data;
|
2025-04-18 20:38:55 +09:00
|
|
|
const g = new dagre.graphlib.Graph({ compound: true });
|
|
|
|
g.setGraph({ rankdir: "LR" }).setDefaultEdgeLabel(function() { return {}; });
|
2025-06-22 10:51:42 +09:00
|
|
|
if (additions.length !== 0) g.setNode("addition", {label:"", style:"fill: rgba(26, 27, 38, 0.5);", padding:0});
|
|
|
|
for (let [k, {label, src, ref, ...rest }] of Object.entries(graph)) {
|
|
|
|
const idx = ref ? ctxs.findIndex(k => k.ref === ref) : -1;
|
|
|
|
// replace colors in label
|
|
|
|
if (idx != -1) label += `\ncodegen@${ctxs[idx].name.replace(/\x1b\[\d+m(.*?)\x1b\[0m/g, "$1")}`;
|
2025-04-18 20:38:55 +09:00
|
|
|
// adjust node dims by label size + add padding
|
2025-06-13 15:59:36 +09:00
|
|
|
let [width, height] = [0, 0];
|
|
|
|
for (line of label.split("\n")) {
|
|
|
|
width = Math.max(width, ctx.measureText(line).width);
|
|
|
|
height += LINE_HEIGHT;
|
|
|
|
}
|
2025-06-22 10:51:42 +09:00
|
|
|
g.setNode(k, {width:width+NODE_PADDING*2, height:height+NODE_PADDING*2, padding:NODE_PADDING, label, ref:idx==-1 ? null : idx, ...rest});
|
|
|
|
// add edges
|
2025-06-13 15:59:36 +09:00
|
|
|
const edgeCounts = {}
|
|
|
|
for (const s of src) edgeCounts[s] = (edgeCounts[s] || 0)+1;
|
|
|
|
for (const s of src) g.setEdge(s, k, { label: edgeCounts[s] > 1 ? edgeCounts[s] : null });
|
2025-04-18 20:38:55 +09:00
|
|
|
if (additions.includes(parseInt(k))) g.setParent(k, "addition");
|
|
|
|
}
|
|
|
|
dagre.layout(g);
|
|
|
|
postMessage(dagre.graphlib.json.write(g));
|
|
|
|
self.close();
|
|
|
|
}
|