@meltemi/diagrams-layout 0.0.0-stage → 1.9.0

package/dist/checks.js

@@ -0,0 +1,331 @@
+import { messages } from "./messages/index.js";
+import { crossedBoxes } from "./routing.js";
+import { segmentCrossesPolygon } from "./shapes.js";
+/** The kinds drawn as boxes that may not overlap: flow kinds, free boxes and C4 entities. */
+const BOX_KINDS = new Set([
+    "node",
+    "decision",
+    "data",
+    "box",
+    "person",
+    "system",
+    "container",
+    "datastore",
+    "component",
+]);
+const EPSILON = 0.5;
+/** Shortest shared stretch of two collinear connectors that is reported. */
+export const CONNECTOR_OVERLAP = 24;
+function intersects(a, b) {
+    return (a.x < b.x + b.width - EPSILON &&
+        b.x < a.x + a.width - EPSILON &&
+        a.y < b.y + b.height - EPSILON &&
+        b.y < a.y + a.height - EPSILON);
+}
+function union(a, b) {
+    const x = Math.min(a.x, b.x);
+    const y = Math.min(a.y, b.y);
+    return {
+        x,
+        y,
+        width: Math.max(a.x + a.width, b.x + b.width) - x,
+        height: Math.max(a.y + a.height, b.y + b.height) - y,
+    };
+}
+function contains(outer, inner) {
+    return (inner.x >= outer.x - EPSILON &&
+        inner.y >= outer.y - EPSILON &&
+        inner.x + inner.width <= outer.x + outer.width + EPSILON &&
+        inner.y + inner.height <= outer.y + outer.height + EPSILON);
+}
+/** How far in from a side of the outer box a stacked box lies, at least, on one of its sides. */
+const STACK_INSET = 1;
+/**
+ * Whether `inner` is stacked on `outer`: inside it, and at least `STACK_INSET` in from one of its
+ * sides. Two boxes that coincide hold each other, but one hides the other: they are no stack.
+ * Hosts use the same rule to find the boxes a box holds (a stack is the later box of a layer).
+ */
+export function stacked(outer, inner) {
+    return (contains(outer, inner) &&
+        Math.max(inner.x - outer.x, inner.y - outer.y, outer.x + outer.width - (inner.x + inner.width), outer.y + outer.height - (inner.y + inner.height)) >=
+            STACK_INSET - 1e-9);
+}
+/** Whether a segment crosses the inside of a box. */
+function segmentHitsBox(a, b, box) {
+    // Liang-Barsky clipping against the box shrunk by a pixel.
+    const inner = { x: box.x + 1, y: box.y + 1, width: box.width - 2, height: box.height - 2 };
+    if (inner.width <= 0 || inner.height <= 0)
+        return false;
+    let t0 = 0;
+    let t1 = 1;
+    const dx = b.x - a.x;
+    const dy = b.y - a.y;
+    const checks = [
+        [-dx, a.x - inner.x],
+        [dx, inner.x + inner.width - a.x],
+        [-dy, a.y - inner.y],
+        [dy, inner.y + inner.height - a.y],
+    ];
+    for (const [p, q] of checks) {
+        if (p === 0) {
+            if (q < 0)
+                return false;
+            continue;
+        }
+        const r = q / p;
+        if (p < 0) {
+            if (r > t1)
+                return false;
+            if (r > t0)
+                t0 = r;
+        }
+        else {
+            if (r < t0)
+                return false;
+            if (r < t1)
+                t1 = r;
+        }
+    }
+    return t0 < t1;
+}
+function horizontal(p, q) {
+    return Math.abs(p.y - q.y) < EPSILON;
+}
+function verticalSeg(p, q) {
+    return Math.abs(p.x - q.x) < EPSILON;
+}
+/** The length two axis-aligned segments share when they lie on the same line. */
+function sharedLength(a1, a2, b1, b2) {
+    if (horizontal(a1, a2) && horizontal(b1, b2) && Math.abs(a1.y - b1.y) < EPSILON) {
+        const lo = Math.max(Math.min(a1.x, a2.x), Math.min(b1.x, b2.x));
+        const hi = Math.min(Math.max(a1.x, a2.x), Math.max(b1.x, b2.x));
+        return Math.max(0, hi - lo);
+    }
+    if (verticalSeg(a1, a2) && verticalSeg(b1, b2) && Math.abs(a1.x - b1.x) < EPSILON) {
+        const lo = Math.max(Math.min(a1.y, a2.y), Math.min(b1.y, b2.y));
+        const hi = Math.min(Math.max(a1.y, a2.y), Math.max(b1.y, b2.y));
+        return Math.max(0, hi - lo);
+    }
+    return 0;
+}
+/** The bounding box of a polyline. */
+function pointsBox(points) {
+    let minX = Infinity;
+    let minY = Infinity;
+    let maxX = -Infinity;
+    let maxY = -Infinity;
+    for (const p of points) {
+        minX = Math.min(minX, p.x);
+        minY = Math.min(minY, p.y);
+        maxX = Math.max(maxX, p.x);
+        maxY = Math.max(maxY, p.y);
+    }
+    return { x: minX, y: minY, width: maxX - minX, height: maxY - minY };
+}
+/**
+ * Index pairs `[i, j]` (i < j) of boxes that touch or come within `slack` of each other, in
+ * ascending order. Sweeping along x keeps large diagrams fast: only boxes whose x ranges meet are
+ * compared.
+ */
+function nearPairs(boxes, slack) {
+    const sorted = boxes.map((_, i) => i).sort((a, b) => boxes[a].x - boxes[b].x || a - b);
+    const pairs = [];
+    for (let s = 0; s < sorted.length; s++) {
+        const i = sorted[s];
+        const a = boxes[i];
+        const right = a.x + a.width + slack;
+        for (let t = s + 1; t < sorted.length; t++) {
+            const j = sorted[t];
+            const b = boxes[j];
+            if (b.x > right)
+                break;
+            if (b.y <= a.y + a.height + slack && a.y <= b.y + b.height + slack) {
+                pairs.push(i < j ? [i, j] : [j, i]);
+            }
+        }
+    }
+    return pairs.sort((p, q) => p[0] - q[0] || p[1] - q[1]);
+}
+/** The layer an element or relation is drawn on. */
+const layerOf = (item) => item.layer ?? "main";
+/**
+ * Composition checks (decision D7 of the layout-engine change): overlapping boxes, boxes crossing
+ * group edges, labels lying on other connectors, boxes too close to the edge or title band of a
+ * placed group, and connectors running along each other. Tags and notes are not checked, nor are
+ * the text, icons and images of free diagrams; boxes and groups on different layers overlap on
+ * purpose, and a box declared after a box that holds it whole (`stacked`) is a stack, not an
+ * overlap; written the other way round, the overlap's hint says to declare the outer box first.
+ * `untitled` tells the groups without a title band (see `isUntitledGroup`). `outlines` holds the
+ * outline polygon of the boxes drawn with a shape other than a box (see `shapeOutline`): a
+ * connector crosses such a box only through its outline, not through its box's empty corners.
+ * `labels` holds the labels boxes draw outside them (an icon shape's): a box and its label are two
+ * rectangles that overlap other boxes and groups, with nothing between them; a box over another's
+ * label is an overlap, never a stack; boxes keep their groups' margins with their labels;
+ * connectors cross the boxes.
+ */
+export function checkComposition(diagram, boxes, connectors, explicitGroups, theme, untitled, outlines = new Map(), labels = new Map()) {
+    const diagnostics = [];
+    // Messages are written in the interface language of the moment the checks run.
+    const { diagnostics: words, hints } = messages();
+    // `ids` are the elements and relations the message names, for tools that must not read it.
+    const warn = (code, message, range, ids, hint) => diagnostics.push({
+        code,
+        severity: "warning",
+        message,
+        range,
+        ...(hint === undefined ? {} : { hints: [hint] }),
+        data: { ids },
+    });
+    const order = new Map(diagram.elements.map((e, i) => [e.id, i]));
+    const later = (a, b) => (order.get(a.id) ?? 0) > (order.get(b.id) ?? 0) ? a : b;
+    const shapes = diagram.elements.filter((e) => BOX_KINDS.has(e.kind) && boxes.has(e.id));
+    const groups = diagram.elements.filter((e) => e.kind === "group" && boxes.has(e.id));
+    /** What a shape draws: its box, and the label outside it if it has one. */
+    const partsOf = (id) => {
+        const label = labels.get(id);
+        return label ? [boxes.get(id), label] : [boxes.get(id)];
+    };
+    /** The extent of what a shape draws. */
+    const extentOf = (id) => {
+        const label = labels.get(id);
+        return label ? union(boxes.get(id), label) : boxes.get(id);
+    };
+    const meets = (a, b) => a.some((p) => b.some((q) => intersects(p, q)));
+    const shapeParts = shapes.map((s) => partsOf(s.id));
+    const shapeBoxes = shapes.map((s) => extentOf(s.id));
+    for (const [i, j] of nearPairs(shapeBoxes, 0)) {
+        // `shapes` keeps the declaration order, so `a` is declared before `b`.
+        const a = shapes[i];
+        const b = shapes[j];
+        if (layerOf(a) !== layerOf(b))
+            continue;
+        if (!meets(shapeParts[i], shapeParts[j]))
+            continue;
+        // A later box drawn whole inside an earlier one is a stack; a box over a label is not.
+        if (stacked(boxes.get(a.id), shapeBoxes[j]))
+            continue;
+        // An earlier box inside a later one is a stack written inner first, and hidden by it.
+        const reversed = stacked(boxes.get(b.id), shapeBoxes[i]);
+        warn("layout.overlap", words.overlap(a.id, b.id), later(a, b).range, [a.id, b.id], reversed ? hints.stackOrder(b.id, a.id) : undefined);
+    }
+    for (const [index, shape] of shapes.entries()) {
+        const box = shapeBoxes[index];
+        for (const group of groups) {
+            if (layerOf(shape) !== layerOf(group))
+                continue;
+            const area = boxes.get(group.id);
+            if (!meets(shapeParts[index], [area]))
+                continue;
+            const declared = shape.groupPath.includes(group.id);
+            if (declared && contains(area, box))
+                continue;
+            warn("layout.overlap", declared ? words.crossesGroup(shape.id, group.id) : words.overlapsGroup(shape.id, group.id), shape.range, [shape.id, group.id]);
+        }
+    }
+    for (const group of groups) {
+        if (!explicitGroups.has(group.id))
+            continue;
+        const area = boxes.get(group.id);
+        const margin = theme.groupPadding / 2;
+        // A titled group keeps its title band clear; an untitled one has no band.
+        const top = untitled(group) ? margin : theme.groupHeader;
+        for (const shape of shapes) {
+            if (!shape.groupPath.includes(group.id))
+                continue;
+            // A group on another layer is a backdrop, as for the overlaps above.
+            if (layerOf(shape) !== layerOf(group))
+                continue;
+            const box = extentOf(shape.id);
+            if (!contains(area, box))
+                continue; // already reported as crossing the edge
+            const tooClose = box.x - area.x < margin - EPSILON ||
+                area.x + area.width - (box.x + box.width) < margin - EPSILON ||
+                area.y + area.height - (box.y + box.height) < margin - EPSILON ||
+                box.y - area.y < top - EPSILON;
+            if (tooClose) {
+                warn("layout.container-margin", words.containerMargin(shape.id, group.id), shape.range, [
+                    shape.id,
+                    group.id,
+                ]);
+            }
+        }
+    }
+    // Labels and connectors in one sweep: connectors first, then the labels.
+    const extents = connectors.map((c) => pointsBox(c.points));
+    const labelled = connectors.flatMap((c, i) => (c.label ? [i] : []));
+    const sweep = [...extents, ...labelled.map((i) => connectors[i].label)];
+    const hits = [];
+    for (const [p, q] of nearPairs(sweep, 0)) {
+        if (p >= connectors.length || q < connectors.length)
+            continue; // not a connector and a label
+        const owner = labelled[q - connectors.length];
+        if (owner !== p)
+            hits.push([owner, p]);
+    }
+    hits.sort((x, y) => x[0] - y[0] || x[1] - y[1]);
+    for (const [owner, index] of hits) {
+        const connector = connectors[owner];
+        const other = connectors[index];
+        const pts = other.points;
+        let hit = false;
+        for (let k = 1; k < pts.length && !hit; k++)
+            hit = segmentHitsBox(pts[k - 1], pts[k], connector.label);
+        if (hit) {
+            warn("layout.label-under-connector", words.labelUnderConnector(connector.relation.key, other.relation.key), connector.relation.range, [connector.relation.key, other.relation.key]);
+        }
+    }
+    for (const [i, j] of nearPairs(extents, EPSILON)) {
+        const a = connectors[i];
+        const b = connectors[j];
+        if (a.curved || b.curved)
+            continue;
+        let shared = 0;
+        for (let p = 1; p < a.points.length; p++) {
+            for (let q = 1; q < b.points.length; q++) {
+                shared = Math.max(shared, sharedLength(a.points[p - 1], a.points[p], b.points[q - 1], b.points[q]));
+            }
+        }
+        if (shared > CONNECTOR_OVERLAP) {
+            warn("layout.connector-overlap", words.connectorOverlap(a.relation.key, b.relation.key, Math.round(shared)), b.relation.range, [a.relation.key, b.relation.key]);
+        }
+    }
+    // Connectors through the shapes of their layer that they do not join, nor hold their ends.
+    for (const connector of connectors) {
+        const relation = connector.relation;
+        const holders = new Set([relation.from, relation.to].flatMap((id) => [
+            id,
+            ...(diagram.elementsById.get(id)?.groupPath ?? []),
+        ]));
+        const ends = [relation.from, relation.to].flatMap((id) => boxes.get(id) ?? []);
+        const extent = pointsBox(connector.points);
+        const others = shapes.filter((s) => {
+            if (holders.has(s.id) || layerOf(s) !== layerOf(relation))
+                return false;
+            const box = boxes.get(s.id);
+            // A box an end is stacked inside holds that end.
+            if (ends.some((end) => contains(box, end)))
+                return false;
+            return (box.x <= extent.x + extent.width &&
+                extent.x <= box.x + box.width &&
+                box.y <= extent.y + extent.height &&
+                extent.y <= box.y + box.height);
+        });
+        const crossed = crossedBoxes(connector.points, others.map((s) => ({ ...boxes.get(s.id), id: s.id }))).filter((box) => {
+            // A shaped box is crossed through its outline.
+            const outline = outlines.get(box.id);
+            if (!outline)
+                return true;
+            for (let k = 1; k < connector.points.length; k++) {
+                if (segmentCrossesPolygon(connector.points[k - 1], connector.points[k], outline)) {
+                    return true;
+                }
+            }
+            return false;
+        });
+        for (const box of crossed) {
+            warn("layout.connector-crossing", words.connectorCrossing(relation.key, box.id), relation.range, [relation.key, box.id]);
+        }
+    }
+    return diagnostics;
+}
+//# sourceMappingURL=checks.js.map

package/dist/checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checks.js","sourceRoot":"","sources":["../src/checks.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAUpD,6FAA6F;AAC7F,MAAM,SAAS,GAAwB,IAAI,GAAG,CAAC;IAC7C,MAAM;IACN,UAAU;IACV,MAAM;IACN,KAAK;IACL,QAAQ;IACR,QAAQ;IACR,WAAW;IACX,WAAW;IACX,WAAW;CACZ,CAAC,CAAC;AACH,MAAM,OAAO,GAAG,GAAG,CAAC;AACpB,4EAA4E;AAC5E,MAAM,CAAC,MAAM,iBAAiB,GAAG,EAAE,CAAC;AAEpC,SAAS,UAAU,CAAC,CAAM,EAAE,CAAM;IAChC,OAAO,CACL,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,OAAO;QAC7B,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,OAAO;QAC7B,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,OAAO;QAC9B,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,OAAO,CAC/B,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CAAC,CAAM,EAAE,CAAM;IAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,OAAO;QACL,CAAC;QACD,CAAC;QACD,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QACjD,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;KACrD,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAU,EAAE,KAAU;IACtC,OAAO,CACL,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,OAAO;QAC5B,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,OAAO;QAC5B,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,GAAG,OAAO;QACxD,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,OAAO,CAC3D,CAAC;AACJ,CAAC;AAED,iGAAiG;AACjG,MAAM,WAAW,GAAG,CAAC,CAAC;AAEtB;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,KAAU,EAAE,KAAU;IAC5C,OAAO,CACL,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,IAAI,CAAC,GAAG,CACN,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EACjB,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EACjB,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,EAC/C,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAClD;YACC,WAAW,GAAG,IAAI,CACrB,CAAC;AACJ,CAAC;AAED,qDAAqD;AACrD,SAAS,cAAc,CAAC,CAAQ,EAAE,CAAQ,EAAE,GAAQ;IAClD,2DAA2D;IAC3D,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;IAC3F,IAAI,KAAK,CAAC,KAAK,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACxD,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,MAAM,GAAuB;QACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QACpB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QACpB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;KACnC,CAAC;IACF,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACZ,IAAI,CAAC,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YACxB,SAAS;QACX,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACV,IAAI,CAAC,GAAG,EAAE;gBAAE,OAAO,KAAK,CAAC;YACzB,IAAI,CAAC,GAAG,EAAE;gBAAE,EAAE,GAAG,CAAC,CAAC;QACrB,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,GAAG,EAAE;gBAAE,OAAO,KAAK,CAAC;YACzB,IAAI,CAAC,GAAG,EAAE;gBAAE,EAAE,GAAG,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,CAAC;AACjB,CAAC;AAED,SAAS,UAAU,CAAC,CAAQ,EAAE,CAAQ;IACpC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;AACvC,CAAC;AAED,SAAS,WAAW,CAAC,CAAQ,EAAE,CAAQ;IACrC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;AACvC,CAAC;AAED,iFAAiF;AACjF,SAAS,YAAY,CAAC,EAAS,EAAE,EAAS,EAAE,EAAS,EAAE,EAAS;IAC9D,IAAI,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC;QAChF,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC;QAClF,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,sCAAsC;AACtC,SAAS,SAAS,CAAC,MAAwB;IACzC,IAAI,IAAI,GAAG,QAAQ,CAAC;IACpB,IAAI,IAAI,GAAG,QAAQ,CAAC;IACpB,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC;IACrB,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC;IACrB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,GAAG,IAAI,EAAE,CAAC;AACvE,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,KAAqB,EAAE,KAAa;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACzF,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACrB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACpB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC;QACpC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;YACrB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACpB,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK;gBAAE,MAAM;YACvB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,KAAK,EAAE,CAAC;gBACnE,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,oDAAoD;AACpD,MAAM,OAAO,GAAG,CAAC,IAAuC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC;AAElF;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAAoB,EACpB,KAA+B,EAC/B,UAAuC,EACvC,cAAmC,EACnC,KAAsE,EACtE,QAAqC,EACrC,WAAkD,IAAI,GAAG,EAAE,EAC3D,SAAmC,IAAI,GAAG,EAAE;IAE5C,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,+EAA+E;IAC/E,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,QAAQ,EAAE,CAAC;IACjD,2FAA2F;IAC3F,MAAM,IAAI,GAAG,CACX,IAAY,EACZ,OAAe,EACf,KAAY,EACZ,GAAsB,EACtB,IAAa,EACb,EAAE,CACF,WAAW,CAAC,IAAI,CAAC;QACf,IAAI;QACJ,QAAQ,EAAE,SAAS;QACnB,OAAO;QACP,KAAK;QACL,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,IAAI,EAAE,EAAE,GAAG,EAAE;KACd,CAAC,CAAC;IACL,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,CAAC,CAAU,EAAE,CAAU,EAAE,EAAE,CACvC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE1D,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxF,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAErF,2EAA2E;IAC3E,MAAM,OAAO,GAAG,CAAC,EAAU,EAAS,EAAE;QACpC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,CAAC;IAC5D,CAAC,CAAC;IACF,wCAAwC;IACxC,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAO,EAAE;QACnC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;IAC/D,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,CAAiB,EAAE,CAAiB,EAAE,EAAE,CACrD,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC;QAC9C,uEAAuE;QACvE,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACrB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACrB,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC;YAAE,SAAS;QACxC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAE,EAAE,UAAU,CAAC,CAAC,CAAE,CAAC;YAAE,SAAS;QACrD,uFAAuF;QACvF,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,EAAE,UAAU,CAAC,CAAC,CAAE,CAAC;YAAE,SAAS;QACxD,sFAAsF;QACtF,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,EAAE,UAAU,CAAC,CAAC,CAAE,CAAC,CAAC;QAC3D,IAAI,CACF,gBAAgB,EAChB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EACzB,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EACjB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EACZ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CACpD,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAE,CAAC;QAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC;gBAAE,SAAS;YAChD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAE,CAAC;YAClC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAE,EAAE,CAAC,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACpD,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC;gBAAE,SAAS;YAC9C,IAAI,CACF,gBAAgB,EAChB,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EAC3F,KAAK,CAAC,KAAK,EACX,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CACrB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,SAAS;QAC5C,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAE,CAAC;QAClC,MAAM,MAAM,GAAG,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC;QACtC,0EAA0E;QAC1E,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC;QACzD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAAE,SAAS;YAClD,qEAAqE;YACrE,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC;gBAAE,SAAS;YAChD,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC/B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC;gBAAE,SAAS,CAAC,wCAAwC;YAC5E,MAAM,QAAQ,GACZ,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,MAAM,GAAG,OAAO;gBACjC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,MAAM,GAAG,OAAO;gBAC5D,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,OAAO;gBAC9D,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,GAAG,GAAG,OAAO,CAAC;YACjC,IAAI,QAAQ,EAAE,CAAC;gBACb,IAAI,CAAC,yBAAyB,EAAE,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE;oBACtF,KAAK,CAAC,EAAE;oBACR,KAAK,CAAC,EAAE;iBACT,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,yEAAyE;IACzE,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,KAAM,CAAC,CAAC,CAAC;IAC1E,MAAM,IAAI,GAAuB,EAAE,CAAC;IACpC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM;YAAE,SAAS,CAAC,8BAA8B;QAC7F,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,CAAE,CAAC;QAC/C,IAAI,KAAK,KAAK,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;QAClC,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAE,CAAC;QACrC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAE,CAAC;QACjC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC;QACzB,IAAI,GAAG,GAAG,KAAK,CAAC;QAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE;YACzC,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC,CAAE,EAAE,SAAS,CAAC,KAAM,CAAC,CAAC;QAC/D,IAAI,GAAG,EAAE,CAAC;YACR,IAAI,CACF,8BAA8B,EAC9B,KAAK,CAAC,mBAAmB,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EACrE,SAAS,CAAC,QAAQ,CAAC,KAAK,EACxB,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAC7C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;QACjD,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;QACzB,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM;YAAE,SAAS;QACnC,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,MAAM,GAAG,IAAI,CAAC,GAAG,CACf,MAAM,EACN,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAC7E,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,MAAM,GAAG,iBAAiB,EAAE,CAAC;YAC/B,IAAI,CACF,0BAA0B,EAC1B,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAC1E,CAAC,CAAC,QAAQ,CAAC,KAAK,EAChB,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CACjC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,2FAA2F;IAC3F,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;QACpC,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;YAC3C,EAAE;YACF,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;SACnD,CAAC,CACH,CAAC;QACF,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QAC/E,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YACjC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,QAAQ,CAAC;gBAAE,OAAO,KAAK,CAAC;YACxE,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC;YAC7B,iDAAiD;YACjD,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YACzD,OAAO,CACL,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK;gBAChC,MAAM,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK;gBAC7B,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM;gBACjC,MAAM,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAC/B,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,YAAY,CAC1B,SAAS,CAAC,MAAM,EAChB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CACvD,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;YACf,+CAA+C;YAC/C,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACrC,IAAI,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC;YAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACjD,IAAI,qBAAqB,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBACnF,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;QACH,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,IAAI,CACF,2BAA2B,EAC3B,KAAK,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAC7C,QAAQ,CAAC,KAAK,EACd,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CACvB,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/constraints.d.ts

@@ -0,0 +1,20 @@
+import type { ConstraintEntry, Point } from "@meltemi/diagrams-model";
+/** A box the solver may move, given by its centre and size. */
+export interface SolverBox {
+    center: Point;
+    readonly width: number;
+    readonly height: number;
+    /** Fixed boxes never move: placed ones in `assisted`, every one in `manual`. */
+    readonly fixed: boolean;
+}
+export interface ConstraintConflict {
+    readonly entry: ConstraintEntry;
+    /** Why it does not hold, in the interface language of the moment it was found. */
+    readonly message: string;
+}
+/**
+ * Moves free boxes until every constraint holds, for a bounded number of rounds, and returns the
+ * constraints that still do not hold. Fixed boxes never move.
+ */
+export declare function solveConstraints(constraints: readonly ConstraintEntry[], boxes: ReadonlyMap<string, SolverBox>, defaultAxis: "horizontal" | "vertical", spacing: number): ConstraintConflict[];
+//# sourceMappingURL=constraints.d.ts.map

package/dist/constraints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraints.d.ts","sourceRoot":"","sources":["../src/constraints.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAa,eAAe,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAGjF,+DAA+D;AAC/D,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,KAAK,CAAC;IACd,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,gFAAgF;IAChF,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAChC,kFAAkF;IAClF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AA6CD;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,WAAW,EAAE,SAAS,eAAe,EAAE,EACvC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,EACrC,WAAW,EAAE,YAAY,GAAG,UAAU,EACtC,OAAO,EAAE,MAAM,GACd,kBAAkB,EAAE,CAgDtB"}

package/dist/constraints.js

@@ -0,0 +1,149 @@
+import { messages } from "./messages/index.js";
+const ROUNDS = 20;
+const TOLERANCE = 0.5;
+function edgeValue(box, edge) {
+    switch (edge) {
+        case "top":
+            return box.center.y - box.height / 2;
+        case "middle":
+            return box.center.y;
+        case "bottom":
+            return box.center.y + box.height / 2;
+        case "left":
+            return box.center.x - box.width / 2;
+        case "center":
+            return box.center.x;
+        case "right":
+            return box.center.x + box.width / 2;
+    }
+}
+const horizontalEdge = (edge) => edge === "left" || edge === "center" || edge === "right";
+function setEdge(box, edge, value) {
+    const delta = value - edgeValue(box, edge);
+    box.center = horizontalEdge(edge)
+        ? { x: box.center.x + delta, y: box.center.y }
+        : { x: box.center.x, y: box.center.y + delta };
+}
+/** The gap between two boxes, edge to edge, along the axis on which they are furthest apart. */
+function gap(a, b) {
+    const dx = Math.abs(a.center.x - b.center.x) - (a.width + b.width) / 2;
+    const dy = Math.abs(a.center.y - b.center.y) - (a.height + b.height) / 2;
+    return dx >= dy ? { value: dx, axis: "x" } : { value: dy, axis: "y" };
+}
+const along = (box, axis) => (axis === "x" ? box.center.x : box.center.y);
+const extent = (box, axis) => (axis === "x" ? box.width : box.height);
+const moveTo = (box, axis, value) => {
+    box.center = axis === "x" ? { x: value, y: box.center.y } : { x: box.center.x, y: value };
+};
+/**
+ * Moves free boxes until every constraint holds, for a bounded number of rounds, and returns the
+ * constraints that still do not hold. Fixed boxes never move.
+ */
+export function solveConstraints(constraints, boxes, defaultAxis, spacing) {
+    const members = (entry) => entry.targets.map((id) => boxes.get(id)).filter((b) => b !== undefined);
+    for (let round = 0; round < ROUNDS; round++) {
+        let moved = false;
+        for (const entry of constraints) {
+            const list = members(entry);
+            if (list.length < 2)
+                continue;
+            if (entry.edge) {
+                const edge = entry.edge;
+                const fixed = list.find((b) => b.fixed);
+                const reference = fixed
+                    ? edgeValue(fixed, edge)
+                    : list.reduce((sum, b) => sum + edgeValue(b, edge), 0) / list.length;
+                for (const box of list) {
+                    if (!box.fixed && Math.abs(edgeValue(box, edge) - reference) > TOLERANCE) {
+                        setEdge(box, edge, reference);
+                        moved = true;
+                    }
+                }
+            }
+            else if (entry.kind === "order") {
+                const axis = (entry.axis ?? defaultAxis) === "horizontal" ? "x" : "y";
+                for (let i = 1; i < list.length; i++) {
+                    const previous = list[i - 1];
+                    const current = list[i];
+                    const needed = (extent(previous, axis) + extent(current, axis)) / 2 + spacing;
+                    if (along(current, axis) - along(previous, axis) >= needed - TOLERANCE)
+                        continue;
+                    if (!current.fixed)
+                        moveTo(current, axis, along(previous, axis) + needed);
+                    else if (!previous.fixed)
+                        moveTo(previous, axis, along(current, axis) - needed);
+                    else
+                        continue;
+                    moved = true;
+                }
+            }
+            else if (entry.kind === "distance" && entry.distance !== null) {
+                const [a, b] = list;
+                const current = gap(a, b);
+                if (current.value >= entry.distance - TOLERANCE)
+                    continue;
+                const push = entry.distance - current.value;
+                const mover = !b.fixed ? b : !a.fixed ? a : undefined;
+                if (!mover)
+                    continue;
+                const other = mover === b ? a : b;
+                const direction = along(mover, current.axis) >= along(other, current.axis) ? 1 : -1;
+                moveTo(mover, current.axis, along(mover, current.axis) + direction * push);
+                moved = true;
+            }
+        }
+        if (!moved)
+            break;
+    }
+    return conflicts(constraints, boxes, defaultAxis);
+}
+const round = (value) => Math.round(value * 10) / 10;
+/** Constraints that do not hold for the current boxes. */
+function conflicts(constraints, boxes, defaultAxis) {
+    const found = [];
+    const words = messages().diagnostics;
+    for (const entry of constraints) {
+        const list = entry.targets.map((id) => [id, boxes.get(id)]).filter(([, b]) => b);
+        if (list.length < 2)
+            continue;
+        if (entry.edge) {
+            const edge = entry.edge;
+            const values = list.map(([id, b]) => [id, edgeValue(b, edge)]);
+            const [firstId, first] = values[0];
+            const worst = values.reduce((w, v) => Math.abs(v[1] - first) > Math.abs(w[1] - first) ? v : w);
+            const difference = Math.abs(worst[1] - first);
+            if (difference > TOLERANCE) {
+                found.push({
+                    entry,
+                    message: words.alignConflict(entry.kind, entry.targets, edge, worst[0], round(difference), firstId),
+                });
+            }
+        }
+        else if (entry.kind === "order") {
+            const axis = (entry.axis ?? defaultAxis) === "horizontal" ? "x" : "y";
+            for (let i = 1; i < list.length; i++) {
+                const [previousId, previous] = list[i - 1];
+                const [currentId, current] = list[i];
+                if (along(current, axis) <= along(previous, axis)) {
+                    found.push({
+                        entry,
+                        message: words.orderConflict(entry.targets, currentId, axis, previousId),
+                    });
+                    break;
+                }
+            }
+        }
+        else if (entry.kind === "distance" && entry.distance !== null) {
+            const [[aId, a], [bId, b]] = list;
+            const current = gap(a, b).value;
+            if (current < entry.distance - TOLERANCE) {
+                found.push({
+                    entry,
+                    message: words.distanceConflict(aId, bId, round(Math.max(0, current)), entry.distance),
+                });
+            }
+        }
+    }
+    return found;
+}
+//# sourceMappingURL=constraints.js.map

package/dist/constraints.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraints.js","sourceRoot":"","sources":["../src/constraints.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAiB/C,MAAM,MAAM,GAAG,EAAE,CAAC;AAClB,MAAM,SAAS,GAAG,GAAG,CAAC;AAEtB,SAAS,SAAS,CAAC,GAAc,EAAE,IAAe;IAChD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,KAAK;YACR,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;QACvC,KAAK,QAAQ;YACX,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QACtB,KAAK,QAAQ;YACX,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;QACvC,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC;QACtC,KAAK,QAAQ;YACX,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QACtB,KAAK,OAAO;YACV,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,IAAe,EAAE,EAAE,CACzC,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO,CAAC;AAE3D,SAAS,OAAO,CAAC,GAAc,EAAE,IAAe,EAAE,KAAa;IAC7D,MAAM,KAAK,GAAG,KAAK,GAAG,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3C,GAAG,CAAC,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE;QAC9C,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC;AACnD,CAAC;AAED,gGAAgG;AAChG,SAAS,GAAG,CAAC,CAAY,EAAE,CAAY;IACrC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACzE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACxE,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,GAAc,EAAE,IAAe,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAChG,MAAM,MAAM,GAAG,CAAC,GAAc,EAAE,IAAe,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAC5F,MAAM,MAAM,GAAG,CAAC,GAAc,EAAE,IAAe,EAAE,KAAa,EAAE,EAAE;IAChE,GAAG,CAAC,MAAM,GAAG,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;AAC5F,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,WAAuC,EACvC,KAAqC,EACrC,WAAsC,EACtC,OAAe;IAEf,MAAM,OAAO,GAAG,CAAC,KAAsB,EAAE,EAAE,CACzC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAC1F,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5C,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YAC9B,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBACf,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;gBACxB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACxC,MAAM,SAAS,GAAG,KAAK;oBACrB,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC;oBACxB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;gBACvE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,SAAS,CAAC,GAAG,SAAS,EAAE,CAAC;wBACzE,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;wBAC9B,KAAK,GAAG,IAAI,CAAC;oBACf,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAClC,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,WAAW,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;gBACtE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;oBAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;oBACzB,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC;oBAC9E,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,MAAM,GAAG,SAAS;wBAAE,SAAS;oBACjF,IAAI,CAAC,OAAO,CAAC,KAAK;wBAAE,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;yBACrE,IAAI,CAAC,QAAQ,CAAC,KAAK;wBAAE,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;;wBAC3E,SAAS;oBACd,KAAK,GAAG,IAAI,CAAC;gBACf,CAAC;YACH,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBAChE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAA8B,CAAC;gBAC9C,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC1B,IAAI,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC,QAAQ,GAAG,SAAS;oBAAE,SAAS;gBAC1D,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC;gBAC5C,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACtD,IAAI,CAAC,KAAK;oBAAE,SAAS;gBACrB,MAAM,KAAK,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClC,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpF,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,SAAS,GAAG,IAAI,CAAC,CAAC;gBAC3E,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK;YAAE,MAAM;IACpB,CAAC;IACD,OAAO,SAAS,CAAC,WAAW,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;AACpD,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC;AAE7D,0DAA0D;AAC1D,SAAS,SAAS,CAChB,WAAuC,EACvC,KAAqC,EACrC,WAAsC;IAEtC,MAAM,KAAK,GAAyB,EAAE,CAAC;IACvC,MAAM,KAAK,GAAG,QAAQ,EAAE,CAAC,WAAW,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1F,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC9B,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACf,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;YACxB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,CAAC,CAAE,EAAE,IAAI,CAAC,CAAU,CAAC,CAAC;YACzE,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;YACpC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACnC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACxD,CAAC;YACF,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;YAC9C,IAAI,UAAU,GAAG,SAAS,EAAE,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC;oBACT,KAAK;oBACL,OAAO,EAAE,KAAK,CAAC,aAAa,CAC1B,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,OAAO,EACb,IAAI,EACJ,KAAK,CAAC,CAAC,CAAC,EACR,KAAK,CAAC,UAAU,CAAC,EACjB,OAAO,CACR;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,WAAW,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YACtE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACrC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;gBAC5C,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;gBACtC,IAAI,KAAK,CAAC,OAAQ,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,QAAS,EAAE,IAAI,CAAC,EAAE,CAAC;oBACpD,KAAK,CAAC,IAAI,CAAC;wBACT,KAAK;wBACL,OAAO,EAAE,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC;qBACzE,CAAC,CAAC;oBACH,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAChE,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,IAAkD,CAAC;YAChF,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;YAChC,IAAI,OAAO,GAAG,KAAK,CAAC,QAAQ,GAAG,SAAS,EAAE,CAAC;gBACzC,KAAK,CAAC,IAAI,CAAC;oBACT,KAAK;oBACL,OAAO,EAAE,KAAK,CAAC,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC;iBACvF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/engine.d.ts

@@ -0,0 +1,96 @@
+import type { Point } from "@meltemi/diagrams-model";
+import type { Box, Side } from "./geometry.js";
+/** A port of a node: a side and a position along it, from 0 to 1. */
+export interface ArrangePort {
+    readonly id: string;
+    readonly side: Side;
+    readonly position: number;
+}
+/** A box to arrange: a node, decision, data store, note or tag. */
+export interface ArrangeNode {
+    readonly id: string;
+    readonly width: number;
+    readonly height: number;
+    readonly kind: string;
+    /** The innermost group declaring the node, or null. */
+    readonly parent: string | null;
+    /** The centre of a placed node in `assisted` mode; the engine may use it as a hint. */
+    readonly fixed: Point | null;
+    readonly ports: readonly ArrangePort[];
+}
+export interface ArrangeGroup {
+    readonly id: string;
+    readonly parent: string | null;
+    readonly padding: {
+        readonly top: number;
+        readonly right: number;
+        readonly bottom: number;
+        readonly left: number;
+    };
+    /**
+     * The written `size` of a placed group with children: the engine lays the group out at least
+     * this large, its children centred inside.
+     */
+    readonly minimum?: {
+        readonly width: number;
+        readonly height: number;
+    };
+}
+export interface ArrangeEdge {
+    readonly id: string;
+    /** A node or group id. */
+    readonly source: string;
+    readonly target: string;
+    /** A port id of the source or target node, or null for any side. */
+    readonly sourcePort: string | null;
+    readonly targetPort: string | null;
+    /** True for `->` relations, false for `-->` ones, which the engine may route less directly. */
+    readonly primary: boolean;
+    /** The label pill drawn at the middle of the relation, which the engine leaves room for. */
+    readonly label?: {
+        readonly width: number;
+        readonly height: number;
+    } | null;
+}
+export interface ArrangeRequest {
+    readonly direction: "LR" | "RL" | "TB" | "BT";
+    /**
+     * `tree` keeps parents centred over their children (declared types may ask for it); layered
+     * graphs by default.
+     */
+    readonly algorithm?: "layered" | "tree";
+    readonly nodes: readonly ArrangeNode[];
+    readonly groups: readonly ArrangeGroup[];
+    readonly edges: readonly ArrangeEdge[];
+    readonly spacing: {
+        readonly node: number;
+        readonly layer: number;
+        readonly edge: number;
+    };
+}
+export interface Arrangement {
+    /** Centres of every node, in diagram coordinates. */
+    readonly centers: ReadonlyMap<string, Point>;
+    /** Points of every edge from the source border to the target border. */
+    readonly routes: ReadonlyMap<string, readonly Point[]>;
+    /**
+     * The box of every group, in diagram coordinates. Engines that leave it out let the layout
+     * draw groups around their children.
+     */
+    readonly groups?: ReadonlyMap<string, Box>;
+}
+/**
+ * Arranges unplaced boxes for `auto` and `assisted` diagrams. Engines are synchronous so layout
+ * stays synchronous for every host; `@meltemi/diagrams-layout-elk` provides one backed by ELK.
+ */
+export interface LayoutEngine {
+    readonly name: string;
+    arrange(request: ArrangeRequest): Arrangement;
+}
+/** Spacing passed to engines: between boxes in a layer, between layers, and between edges. */
+export declare const ENGINE_SPACING: {
+    readonly node: 40;
+    readonly layer: 70;
+    readonly edge: 16;
+};
+//# sourceMappingURL=engine.d.ts.map

package/dist/engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAE/C,qEAAqE;AACrE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,mEAAmE;AACnE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,uDAAuD;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,uFAAuF;IACvF,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;CACxC;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;KACvB,CAAC;IACF;;;OAGG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CACxE;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,0BAA0B;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,oEAAoE;IACpE,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,+FAA+F;IAC/F,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,4FAA4F;IAC5F,QAAQ,CAAC,KAAK,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;CAC7E;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,SAAS,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IAC9C;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,GAAG,MAAM,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;CAC5F;AAED,MAAM,WAAW,WAAW;IAC1B,qDAAqD;IACrD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC7C,wEAAwE;IACxE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC,CAAC;IACvD;;;OAGG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC5C;AAED;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,OAAO,EAAE,cAAc,GAAG,WAAW,CAAC;CAC/C;AAED,8FAA8F;AAC9F,eAAO,MAAM,cAAc;;;;CAA6C,CAAC"}