@tuprolog/arg2p-ui 0.0.0-stage → 0.1.0

package/dist/components/arg2p-framework.js

@@ -0,0 +1,513 @@
+import { LitElement, css, html, nothing } from 'lit';
+import { declaredFramework, redrawn } from '../formats/declarations.js';
+import { NODE_FONT, drawing, fit, followSize, nodeSize, png } from '../graph/canvas.js';
+import { MUTUAL_STYLE, markMutual, placeByName, positionsOf } from '../graph/positions.js';
+import { labelColor, tokens } from '../theme.js';
+const NAME = /^[a-z][a-zA-Z0-9_]*$/;
+const STYLE = [
+    {
+        selector: 'node',
+        style: {
+            shape: 'ellipse',
+            'background-color': 'data(color)',
+            label: 'data(id)',
+            color: '#ffffff',
+            'font-family': NODE_FONT.family,
+            'font-size': NODE_FONT.size,
+            'text-valign': 'center',
+            'text-halign': 'center',
+            width: 'data(width)',
+            height: 'data(height)',
+        },
+    },
+    { selector: 'node:selected, node.source', style: { 'border-width': 3, 'border-color': 'data(outline)' } },
+    {
+        selector: 'edge',
+        style: {
+            width: 2,
+            'line-color': 'data(color)',
+            'target-arrow-color': 'data(color)',
+            'target-arrow-shape': 'triangle',
+            'curve-style': 'bezier',
+        },
+    },
+    { selector: 'edge:selected', style: { width: 4 } },
+    MUTUAL_STYLE,
+    // what the theory derives and does not declare: drawn, not edited by drawing
+    { selector: 'node.derived', style: { 'border-width': 3, 'border-style': 'dashed', 'border-color': 'data(outline)', 'background-opacity': 0.8 } },
+    {
+        selector: 'edge.derived',
+        style: { 'line-style': 'dashed', 'line-dash-pattern': [9, 6], width: 2.5, 'arrow-scale': 1.4 },
+    },
+];
+/**
+ * An abstract framework drawn: the arguments and attacks its theory (of the profile abstract) declares, as nodes and
+ * arrows. Drawing writes the theory: an argument added is a fact `a.`, an attack `a -> b.`; deleting or renaming one
+ * changes its declaration, and every other clause of the theory (those that derive attacks, say) stays as it is.
+ * The theory edited as text is drawn again, the arguments kept where they were.
+ *
+ * Given the graph of a solution, the arguments take the colours of their labels, and what the theory derives without
+ * declaring it is drawn too, dashed: it changes with the clauses that derive it, not by drawing.
+ *
+ * Events: `arg2p-theory-change` with the theory, after every change made by drawing; `arg2p-export` with the picture
+ * of the framework, as for the graph.
+ */
+export class Arg2pFramework extends LitElement {
+    constructor() {
+        super(...arguments);
+        /** The theory drawn */
+        this.theory = '';
+        /** The graph of a solution of [theory], to show its labels and what it derives; null when there is none */
+        this.graph = null;
+        /** Where the arguments are, by name: shared with the graph of the framework (see arg2p-positions) */
+        this.positions = null;
+        this.readonly = false;
+        /** The name of the picture the framework is saved as, with no extension */
+        this.fileName = 'framework';
+        this.mode = 'select';
+        this.selected = false;
+        this.renaming = null;
+        // the attacker picked, in attack mode
+        this.source = null;
+        // whether the graph adds to the framework what the theory derives
+        this.derived = false;
+        this.cy = null;
+        this.unfollow = () => { };
+        // the framework of [theory], as drawn
+        this.drawn = { arguments: [], attacks: [] };
+    }
+    static { this.properties = {
+        theory: {},
+        graph: { attribute: false },
+        positions: { attribute: false },
+        readonly: { type: Boolean, reflect: true },
+        fileName: { attribute: 'file-name' },
+        mode: { state: true },
+        selected: { state: true },
+        renaming: { state: true },
+        source: { state: true },
+        derived: { state: true },
+    }; }
+    /** The arguments and attacks the theory declares */
+    framework() {
+        return this.drawn;
+    }
+    /** The drawing, for what the element does not do itself (and for tests) */
+    get drawing() {
+        return this.cy;
+    }
+    /** Fits the drawing to the element (after it was hidden, and so sized to nothing) */
+    fit() {
+        if (this.cy === null)
+            return;
+        this.cy.resize();
+        fit(this.cy);
+    }
+    /** The framework as a PNG picture, as a data URL */
+    png() {
+        if (this.cy === null)
+            return '';
+        return png(this.cy, getComputedStyle(this).getPropertyValue('--_surface').trim() || '#ffffff');
+    }
+    firstUpdated() {
+        const cy = drawing(this.renderRoot.querySelector('.canvas'), STYLE);
+        cy.on('tap', (event) => this.tap(event));
+        cy.on('dbltap', (event) => {
+            if (this.readonly)
+                return;
+            if (event.target === cy)
+                this.add(event.position);
+            else if (event.target.isNode())
+                this.startRename(event.target.id());
+        });
+        cy.on('dragfree', 'node', () => this.tellPositions());
+        cy.on('select unselect', () => {
+            this.selected = cy.$(':selected').nonempty();
+        });
+        cy.on('viewport position', () => this.placeRename());
+        this.cy = cy;
+        this.unfollow = followSize(cy, this.renderRoot.querySelector('.canvas'));
+        this.draw();
+    }
+    willUpdate(changed) {
+        // the graph of another theory: its labels no longer hold
+        if (changed.has('theory') && !changed.has('graph') && changed.get('theory') !== undefined)
+            this.graph = null;
+    }
+    updated(changed) {
+        if (changed.has('theory') || changed.has('graph'))
+            this.draw();
+        // placed elsewhere (by the graph of the framework): moved there
+        else if (changed.has('positions') && this.cy !== null && placeByName(this.cy, idOf, this.positions))
+            this.tellPositions();
+        if (changed.has('readonly')) {
+            if (this.readonly)
+                this.setMode('select');
+            this.cy?.autoungrabify(this.readonly);
+        }
+        if (changed.has('renaming') && this.renaming !== null && changed.get('renaming') === null) {
+            const box = this.renderRoot.querySelector('.rename');
+            this.placeRename();
+            box?.focus();
+            box?.select();
+        }
+    }
+    disconnectedCallback() {
+        super.disconnectedCallback();
+        this.unfollow();
+        this.cy?.destroy();
+        this.cy = null;
+    }
+    connectedCallback() {
+        super.connectedCallback();
+        if (this.hasUpdated && this.cy === null)
+            this.firstUpdated();
+    }
+    // The declared framework, and what the graph adds to it, drawn: the arguments already drawn stay where they are,
+    // the new ones go around the middle of the view (all placed anew when there were none)
+    draw() {
+        const cy = this.cy;
+        if (cy === null)
+            return;
+        this.drawn = declaredFramework(this.theory);
+        const declared = new Set(this.drawn.arguments);
+        const named = this.graph?.profile === 'abstract' ? this.graph : null;
+        const labels = new Map((named?.arguments ?? []).map(it => [it.conclusion, it.label]));
+        const names = new Map((named?.arguments ?? []).map(it => [it.id, it.conclusion]));
+        const attacks = new Set(this.drawn.attacks.map(it => `${it.from}->${it.to}`));
+        const derivedAttacks = (named?.attacks ?? [])
+            .map(it => ({ from: names.get(it.from), to: names.get(it.to) }))
+            .filter((it) => it.from !== undefined && it.to !== undefined && !attacks.has(`${it.from}->${it.to}`));
+        const outline = getComputedStyle(this).getPropertyValue('--_accent').trim() || '#008080';
+        const nodes = [...this.drawn.arguments, ...[...labels.keys()].filter(it => !declared.has(it))].map(name => ({
+            data: { id: name, color: labelColor(this, labels.get(name)), outline, ...nodeSize(name) },
+            classes: declared.has(name) ? '' : 'derived',
+        }));
+        const attackColor = (from) => (labels.has(from) ? labelColor(this, labels.get(from)) : labelColor(this, null));
+        const edges = [
+            ...this.drawn.attacks.map(it => ({ data: { id: `${it.from}->${it.to}`, source: it.from, target: it.to, color: attackColor(it.from) }, classes: '' })),
+            ...derivedAttacks.map(it => ({ data: { id: `${it.from}->${it.to}`, source: it.from, target: it.to, color: attackColor(it.from) }, classes: 'derived' })),
+        ];
+        this.derived = nodes.some(it => it.classes === 'derived') || derivedAttacks.length > 0;
+        const wanted = new Set([...nodes, ...edges].map(it => it.data.id));
+        const first = cy.nodes().empty();
+        // the arguments stay where they are, or go where the graph has them
+        const placed = { ...positionsOf(cy, idOf), ...this.positions };
+        cy.batch(() => {
+            cy.elements().filter(it => !wanted.has(it.id())).remove();
+            nodes.forEach(({ data, classes }) => {
+                const node = cy.getElementById(data.id);
+                if (node.nonempty())
+                    node.data(data).classes(classes);
+                else
+                    cy.add({ group: 'nodes', data, classes });
+            });
+            edges.forEach(({ data, classes }) => {
+                const edge = cy.getElementById(data.id);
+                if (edge.nonempty())
+                    edge.data(data).classes(classes);
+                else
+                    cy.add({ group: 'edges', data, classes });
+            });
+        });
+        markMutual(cy);
+        const laid = placeByName(cy, idOf, placed);
+        // what the graph does not know where to place yet (an argument added, laid out, renamed): told
+        const told = new Set(Object.keys(this.positions ?? {}));
+        if (laid || cy.nodes().some(it => !told.has(it.id())) || told.size !== cy.nodes().length)
+            this.tellPositions();
+        if (first && cy.nodes().nonempty())
+            fit(cy);
+        if (this.source !== null && cy.getElementById(this.source).empty())
+            this.source = null;
+    }
+    // Where the arguments are now, for the graph of the framework to place them alike
+    tellPositions() {
+        if (this.cy === null)
+            return;
+        this.positions = positionsOf(this.cy, idOf);
+        this.dispatchEvent(new CustomEvent('arg2p-positions', { detail: { positions: this.positions }, bubbles: true, composed: true }));
+    }
+    tap(event) {
+        const cy = this.cy;
+        if (this.readonly)
+            return;
+        const onNode = event.target !== cy && event.target.isNode();
+        if (this.mode === 'argument' && event.target === cy)
+            this.add(event.position);
+        else if (this.mode === 'attack') {
+            if (!onNode)
+                return this.pick(null);
+            const id = event.target.id();
+            if (this.source === null)
+                return this.pick(id);
+            const from = this.source;
+            this.pick(null);
+            const known = this.drawn.arguments.includes(from) && this.drawn.arguments.includes(id);
+            if (known && !this.drawn.attacks.some(it => it.from === from && it.to === id)) {
+                this.change({ arguments: this.drawn.arguments, attacks: [...this.drawn.attacks, { from, to: id }] });
+            }
+        }
+    }
+    // The attacker of the attack being drawn
+    pick(id) {
+        this.cy?.$('.source').removeClass('source');
+        this.source = id;
+        if (id !== null)
+            this.cy?.getElementById(id).addClass('source');
+    }
+    add(position) {
+        const name = this.suggestedName();
+        // placed where it was asked for before the theory draws it
+        this.cy?.add({ group: 'nodes', data: { id: name, color: labelColor(this, null), ...nodeSize(name) }, position: { ...position } });
+        this.change({ arguments: [...this.drawn.arguments, name], attacks: this.drawn.attacks });
+    }
+    // A change made by drawing: the theory rewritten, then drawn again from it
+    change(framework, renamed = new Map()) {
+        this.theory = redrawn(this.theory, framework, renamed);
+        // the labels were those of the theory before
+        this.graph = null;
+        this.dispatchEvent(new CustomEvent('arg2p-theory-change', { detail: { theory: this.theory }, bubbles: true, composed: true }));
+    }
+    // Only what is declared is deleted by drawing
+    deleteSelected() {
+        const cy = this.cy;
+        if (cy === null)
+            return;
+        const gone = new Set(cy.$('node:selected').map(it => it.id()).filter(it => this.drawn.arguments.includes(it)));
+        const goneAttacks = new Set(cy.$('edge:selected').map(it => it.id()));
+        this.change({
+            arguments: this.drawn.arguments.filter(it => !gone.has(it)),
+            attacks: this.drawn.attacks.filter(it => !gone.has(it.from) && !gone.has(it.to) && !goneAttacks.has(`${it.from}->${it.to}`)),
+        });
+        this.selected = cy.$(':selected').nonempty();
+    }
+    setMode(mode) {
+        this.mode = mode;
+        this.pick(null);
+    }
+    suggestedName() {
+        const taken = new Set(this.cy?.nodes().map(it => it.id()) ?? []);
+        for (let i = 1;; i++)
+            if (!taken.has(`a${i}`))
+                return `a${i}`;
+    }
+    isAvailable(name, current) {
+        return NAME.test(name) && (name === current || (this.cy?.getElementById(name).empty() ?? true));
+    }
+    startRename(name) {
+        if (this.drawn.arguments.includes(name))
+            this.renaming = { name, value: name };
+    }
+    // An invalid or taken name is dropped: the argument keeps its name
+    commitRename() {
+        const renaming = this.renaming;
+        this.renaming = null;
+        if (renaming === null)
+            return;
+        const wanted = renaming.value.trim();
+        if (wanted === renaming.name || !this.isAvailable(wanted, renaming.name))
+            return;
+        const node = this.cy?.getElementById(renaming.name);
+        // the renamed argument stays where it was
+        if (node?.nonempty())
+            this.cy?.add({ group: 'nodes', data: { ...node.data(), id: wanted, ...nodeSize(wanted) }, position: { ...node.position() } });
+        const rename = (it) => (it === renaming.name ? wanted : it);
+        this.change({
+            arguments: this.drawn.arguments.map(rename),
+            attacks: this.drawn.attacks.map(it => ({ from: rename(it.from), to: rename(it.to) })),
+        }, new Map([[renaming.name, wanted]]));
+    }
+    // The rename box stays on its node while the drawing moves
+    placeRename() {
+        const box = this.renderRoot.querySelector('.rename');
+        const node = this.renaming === null ? null : this.cy?.getElementById(this.renaming.name);
+        if (box === null || node == null || node.empty())
+            return;
+        const point = node.renderedPosition();
+        box.style.left = `${point.x}px`;
+        box.style.top = `${point.y}px`;
+    }
+    onKey(event) {
+        if (this.readonly || this.renaming !== null)
+            return;
+        if (event.key === 'Escape')
+            this.setMode('select');
+        else if ((event.key === 'Delete' || event.key === 'Backspace') && this.selected) {
+            event.preventDefault();
+            this.deleteSelected();
+        }
+    }
+    export() {
+        const fileName = `${this.fileName}.png`;
+        const dataUrl = this.png();
+        const event = new CustomEvent('arg2p-export', { detail: { fileName, dataUrl }, bubbles: true, composed: true, cancelable: true });
+        if (!this.dispatchEvent(event))
+            return;
+        const link = document.createElement('a');
+        link.href = dataUrl;
+        link.download = fileName;
+        link.click();
+    }
+    render() {
+        const tool = (mode, text, title) => html `
+            <button type="button" class=${this.mode === mode ? 'active' : ''} aria-pressed=${this.mode === mode} title=${title} @click=${() => this.setMode(mode)}>${text}</button>
+        `;
+        const renaming = this.renaming;
+        const hint = this.mode === 'argument' ? 'Click where an argument goes'
+            : this.mode === 'attack' ? (this.source === null ? 'Click the attacker' : `Click the argument ${this.source} attacks`)
+                : 'Double click to add an argument, or to rename one';
+        return html `
+            <div class="bar" part="bar">
+                ${this.readonly
+            ? nothing
+            : html `
+                          ${tool('select', 'Select', 'Select and move arguments (Esc)')}
+                          ${tool('argument', '+ Argument', 'Add arguments')}
+                          ${tool('attack', '+ Attack', 'Add attacks: the attacker, then the argument it attacks')}
+                          <button type="button" title="Delete what is selected (Del)" ?disabled=${!this.selected} @click=${() => this.deleteSelected()}>Delete</button>
+                          <span class="hint">${hint}</span>
+                      `}
+                <button type="button" class="png" title="Download the framework as a picture" @click=${() => this.export()}>PNG</button>
+            </div>
+            <div class="area" tabindex="0" @keydown=${(e) => this.onKey(e)}>
+                <div class="canvas"></div>
+                ${this.derived
+            ? html `<div class="legend" part="legend">
+                          <span><span class="line"></span>declared in the theory: drawing changes it</span>
+                          <span><span class="line derived"></span>derived by its rules: change the rules to change it</span>
+                      </div>`
+            : nothing}
+                ${renaming === null
+            ? nothing
+            : html `<input
+                          class="rename ${this.isAvailable(renaming.value.trim(), renaming.name) ? '' : 'invalid'}"
+                          type="text"
+                          aria-label="Argument name"
+                          title="Argument name: a lowercase letter, then letters, digits or underscores"
+                          .value=${renaming.value}
+                          @input=${(e) => (this.renaming = { ...renaming, value: e.target.value })}
+                          @keydown=${(e) => {
+                e.stopPropagation();
+                if (e.key === 'Enter')
+                    this.commitRename();
+                else if (e.key === 'Escape')
+                    this.renaming = null;
+            }}
+                          @blur=${() => this.commitRename()}
+                      />`}
+            </div>
+        `;
+    }
+    static { this.styles = [
+        tokens,
+        css `
+            :host {
+                display: flex;
+                flex-direction: column;
+                min-height: 200px;
+                background: var(--_surface);
+                font-size: 13px;
+            }
+            .bar {
+                display: flex;
+                flex-wrap: wrap;
+                align-items: center;
+                gap: 6px;
+                padding: 6px 10px;
+                border-bottom: 1px solid var(--_border);
+            }
+            button {
+                font: inherit;
+                color: var(--_text);
+                background: var(--_surface);
+                border: 1px solid var(--_border);
+                border-radius: 4px;
+                padding: 2px 8px;
+                cursor: pointer;
+            }
+            button:hover:not(:disabled) {
+                background: var(--_hover);
+            }
+            button.active {
+                border-color: var(--_accent);
+                color: var(--_accent);
+            }
+            button:disabled {
+                opacity: 0.5;
+                cursor: default;
+            }
+            .hint {
+                margin-left: auto;
+                color: var(--_muted);
+            }
+            .png {
+                margin-left: auto;
+            }
+            .hint + .png {
+                margin-left: 0;
+            }
+            .area {
+                flex: 1;
+                min-height: 0;
+                position: relative;
+                overflow: hidden;
+                outline: none;
+            }
+            .canvas {
+                position: absolute;
+                inset: 0;
+            }
+            .legend {
+                position: absolute;
+                left: 8px;
+                bottom: 8px;
+                display: flex;
+                flex-direction: column;
+                gap: 2px;
+                padding: 6px 10px;
+                font-size: 12px;
+                color: var(--_muted);
+                background: color-mix(in srgb, var(--_surface) 88%, transparent);
+                border: 1px solid var(--_border);
+                border-radius: 6px;
+                pointer-events: none;
+            }
+            .legend > span {
+                display: inline-flex;
+                align-items: center;
+                gap: 8px;
+            }
+            .legend .line {
+                display: inline-block;
+                width: 28px;
+                border-top: 2.5px solid var(--_muted);
+            }
+            .legend .line.derived {
+                border-top-style: dashed;
+            }
+            .rename {
+                position: absolute;
+                transform: translate(-50%, -50%);
+                width: 9em;
+                font: 14px var(--_mono);
+                text-align: center;
+                color: var(--_text);
+                background: var(--_surface);
+                border: 2px solid var(--_accent);
+                border-radius: 4px;
+                padding: 2px 4px;
+                z-index: 10;
+            }
+            .rename.invalid {
+                border-color: var(--_error);
+            }
+        `,
+    ]; }
+}
+// An argument drawn is called by its name
+function idOf(node) {
+    return node.id();
+}
+customElements.define('arg2p-framework', Arg2pFramework);
+//# sourceMappingURL=arg2p-framework.js.map

package/dist/components/arg2p-framework.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arg2p-framework.js","sourceRoot":"","sources":["../../src/components/arg2p-framework.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAuB,MAAM,KAAK,CAAC;AAE1E,OAAO,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAExE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AACxF,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAkB,MAAM,uBAAuB,CAAC;AAC3G,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAEjD,MAAM,IAAI,GAAG,sBAAsB,CAAC;AAIpC,MAAM,KAAK,GAAmB;IAC1B;QACI,QAAQ,EAAE,MAAM;QAChB,KAAK,EAAE;YACH,KAAK,EAAE,SAAS;YAChB,kBAAkB,EAAE,aAAa;YACjC,KAAK,EAAE,UAAU;YACjB,KAAK,EAAE,SAAS;YAChB,aAAa,EAAE,SAAS,CAAC,MAAM;YAC/B,WAAW,EAAE,SAAS,CAAC,IAAI;YAC3B,aAAa,EAAE,QAAQ;YACvB,aAAa,EAAE,QAAQ;YACvB,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,cAAc;SACzB;KACJ;IACD,EAAE,QAAQ,EAAE,4BAA4B,EAAE,KAAK,EAAE,EAAE,cAAc,EAAE,CAAC,EAAE,cAAc,EAAE,eAAe,EAAE,EAAE;IACzG;QACI,QAAQ,EAAE,MAAM;QAChB,KAAK,EAAE;YACH,KAAK,EAAE,CAAC;YACR,YAAY,EAAE,aAAa;YAC3B,oBAAoB,EAAE,aAAa;YACnC,oBAAoB,EAAE,UAAU;YAChC,aAAa,EAAE,QAAQ;SAC1B;KACJ;IACD,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;IAClD,YAAY;IACZ,6EAA6E;IAC7E,EAAE,QAAQ,EAAE,cAAc,EAAE,KAAK,EAAE,EAAE,cAAc,EAAE,CAAC,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,eAAe,EAAE,oBAAoB,EAAE,GAAG,EAAE,EAAE;IAChJ;QACI,QAAQ,EAAE,cAAc;QACxB,KAAK,EAAE,EAAE,YAAY,EAAE,QAAQ,EAAE,mBAAmB,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE;KACjG;CACJ,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,cAAe,SAAQ,UAAU;IAA9C;;QAcI,uBAAuB;QACvB,WAAM,GAAG,EAAE,CAAC;QACZ,2GAA2G;QAC3G,UAAK,GAAqB,IAAI,CAAC;QAC/B,qGAAqG;QACrG,cAAS,GAAqB,IAAI,CAAC;QACnC,aAAQ,GAAG,KAAK,CAAC;QACjB,2EAA2E;QAC3E,aAAQ,GAAG,WAAW,CAAC;QAEf,SAAI,GAAS,QAAQ,CAAC;QACtB,aAAQ,GAAG,KAAK,CAAC;QACjB,aAAQ,GAA2C,IAAI,CAAC;QAChE,sCAAsC;QAC9B,WAAM,GAAkB,IAAI,CAAC;QACrC,kEAAkE;QAC1D,YAAO,GAAG,KAAK,CAAC;QAEhB,OAAE,GAAgB,IAAI,CAAC;QACvB,aAAQ,GAAG,GAAG,EAAE,GAAE,CAAC,CAAC;QAC5B,sCAAsC;QAC9B,UAAK,GAAc,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IA4Z9D,CAAC;aA9bmB,eAAU,GAAG;QACzB,MAAM,EAAE,EAAE;QACV,KAAK,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE;QAC3B,SAAS,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE;QAC/B,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE;QAC1C,QAAQ,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE;QACpC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;QACrB,QAAQ,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;QACzB,QAAQ,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;QACzB,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;QACvB,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;KAC3B,AAXyB,CAWxB;IAyBF,oDAAoD;IACpD,SAAS;QACL,OAAO,IAAI,CAAC,KAAK,CAAC;IACtB,CAAC;IAED,2EAA2E;IAC3E,IAAI,OAAO;QACP,OAAO,IAAI,CAAC,EAAE,CAAC;IACnB,CAAC;IAED,qFAAqF;IACrF,GAAG;QACC,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI;YAAE,OAAO;QAC7B,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC;QACjB,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,oDAAoD;IACpD,GAAG;QACC,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QAChC,OAAO,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS,CAAC,CAAC;IACnG,CAAC;IAEkB,YAAY;QAC3B,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAc,SAAS,CAAE,EAAE,KAAK,CAAC,CAAC;QAClF,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAkB,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACtD,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,KAAkB,EAAE,EAAE;YACnC,IAAI,IAAI,CAAC,QAAQ;gBAAE,OAAO;YAC1B,IAAI,KAAK,CAAC,MAAM,KAAK,EAAE;gBAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;iBAC7C,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE;gBAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QACxE,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;QACtD,EAAE,CAAC,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;YAC1B,IAAI,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,QAAQ,EAAE,CAAC;QACjD,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QACrD,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,QAAQ,GAAG,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,aAAa,CAAc,SAAS,CAAE,CAAC,CAAC;QACvF,IAAI,CAAC,IAAI,EAAE,CAAC;IAChB,CAAC;IAEkB,UAAU,CAAC,OAAuB;QACjD,yDAAyD;QACzD,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;IACjH,CAAC;IAEkB,OAAO,CAAC,OAAuB;QAC9C,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAC/D,gEAAgE;aAC3D,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;YAAE,IAAI,CAAC,aAAa,EAAE,CAAC;QAC1H,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAC1B,IAAI,IAAI,CAAC,QAAQ;gBAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC1C,IAAI,CAAC,EAAE,EAAE,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1C,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;YACxF,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,aAAa,CAAmB,SAAS,CAAC,CAAC;YACvE,IAAI,CAAC,WAAW,EAAE,CAAC;YACnB,GAAG,EAAE,KAAK,EAAE,CAAC;YACb,GAAG,EAAE,MAAM,EAAE,CAAC;QAClB,CAAC;IACL,CAAC;IAEQ,oBAAoB;QACzB,KAAK,CAAC,oBAAoB,EAAE,CAAC;QAC7B,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChB,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC;QACnB,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC;IACnB,CAAC;IAEQ,iBAAiB;QACtB,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI;YAAE,IAAI,CAAC,YAAY,EAAE,CAAC;IACjE,CAAC;IAED,iHAAiH;IACjH,uFAAuF;IAC/E,IAAI;QACR,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;QACnB,IAAI,EAAE,KAAK,IAAI;YAAE,OAAO;QACxB,IAAI,CAAC,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QACrE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACtF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAClF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC9E,MAAM,cAAc,GAAG,CAAC,KAAK,EAAE,OAAO,IAAI,EAAE,CAAC;aACxC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;aAC/D,MAAM,CAAC,CAAC,EAAE,EAAsC,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,EAAE,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC9I,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS,CAAC;QACzF,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACxG,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE;YACzF,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;SAC/C,CAAC,CAAC,CAAC;QACJ,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACvH,MAAM,KAAK,GAAG;YACV,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YACrJ,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;SAC3J,CAAC;QACF,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,KAAK,SAAS,CAAC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC;QACvF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,EAAE,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACnE,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC;QACjC,oEAAoE;QACpE,MAAM,MAAM,GAAG,EAAE,GAAG,WAAW,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAE/D,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE;YACV,EAAE,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;YAC1D,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE;gBAChC,MAAM,IAAI,GAAG,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACxC,IAAI,IAAI,CAAC,QAAQ,EAAE;oBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;;oBACjD,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YACnD,CAAC,CAAC,CAAC;YACH,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE;gBAChC,MAAM,IAAI,GAAG,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACxC,IAAI,IAAI,CAAC,QAAQ,EAAE;oBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;;oBACjD,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YACnD,CAAC,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,UAAU,CAAC,EAAE,CAAC,CAAC;QACf,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAC3C,+FAA+F;QAC/F,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC;QACxD,IAAI,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAE,EAAmB,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC,MAAM;YAAE,IAAI,CAAC,aAAa,EAAE,CAAC;QACjI,IAAI,KAAK,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE;YAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5C,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE;YAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;IAC3F,CAAC;IAED,kFAAkF;IAC1E,aAAa;QACjB,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI;YAAE,OAAO;QAC7B,IAAI,CAAC,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,aAAa,CAAC,IAAI,WAAW,CAAC,iBAAiB,EAAE,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACrI,CAAC;IAEO,GAAG,CAAC,KAAkB;QAC1B,MAAM,EAAE,GAAG,IAAI,CAAC,EAAG,CAAC;QACpB,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO;QAC1B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,KAAK,EAAE,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,MAAM,KAAK,EAAE;YAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aACzE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,EAAY,CAAC;YACvC,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YACvF,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBAC5E,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YACzG,CAAC;QACL,CAAC;IACL,CAAC;IAED,yCAAyC;IACjC,IAAI,CAAC,EAAiB;QAC1B,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,EAAE,KAAK,IAAI;YAAE,IAAI,CAAC,EAAE,EAAE,cAAc,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACpE,CAAC;IAEO,GAAG,CAAC,QAAkC;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QAClC,2DAA2D;QAC3D,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,EAAE,CAAC,CAAC;QAClI,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7F,CAAC;IAED,2EAA2E;IACnE,MAAM,CAAC,SAAoB,EAAE,OAAO,GAAgC,IAAI,GAAG,EAAE;QACjF,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QACvD,6CAA6C;QAC7C,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,aAAa,CAAC,IAAI,WAAW,CAAC,qBAAqB,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACnI,CAAC;IAED,8CAA8C;IACtC,cAAc;QAClB,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;QACnB,IAAI,EAAE,KAAK,IAAI;YAAE,OAAO;QACxB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/G,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACtE,IAAI,CAAC,MAAM,CAAC;YACR,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC3D,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;SAC/H,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjD,CAAC;IAEO,OAAO,CAAC,IAAU;QACtB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAEO,aAAa;QACjB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QACjE,KAAK,IAAI,CAAC,GAAG,CAAC,GAAI,CAAC,EAAE;YAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAE,OAAO,IAAI,CAAC,EAAE,CAAC;IACnE,CAAC;IAEO,WAAW,CAAC,IAAY,EAAE,OAAe;QAC7C,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC;IACpG,CAAC;IAEO,WAAW,CAAC,IAAY;QAC5B,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,QAAQ,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACnF,CAAC;IAED,mEAAmE;IAC3D,YAAY;QAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC/B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,QAAQ,KAAK,IAAI;YAAE,OAAO;QAC9B,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACrC,IAAI,MAAM,KAAK,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO;QACjF,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,EAAE,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACpD,0CAA0C;QAC1C,IAAI,IAAI,EAAE,QAAQ,EAAE;YAAE,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QACpJ,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpE,IAAI,CAAC,MAAM,CACP;YACI,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC;YAC3C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACxF,EACD,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CACrC,CAAC;IACN,CAAC;IAED,2DAA2D;IACnD,WAAW;QACf,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,aAAa,CAAc,SAAS,CAAC,CAAC;QAClE,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACzF,IAAI,GAAG,KAAK,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE;YAAE,OAAO;QACzD,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC;QAChC,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC;IACnC,CAAC;IAEO,KAAK,CAAC,KAAoB;QAC9B,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;YAAE,OAAO;QACpD,IAAI,KAAK,CAAC,GAAG,KAAK,QAAQ;YAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;aAC9C,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,KAAK,WAAW,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9E,KAAK,CAAC,cAAc,EAAE,CAAC;YACvB,IAAI,CAAC,cAAc,EAAE,CAAC;QAC1B,CAAC;IACL,CAAC;IAEO,MAAM;QACV,MAAM,QAAQ,GAAG,GAAG,IAAI,CAAC,QAAQ,MAAM,CAAC;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,IAAI,WAAW,CAAC,cAAc,EAAE,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAClI,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;YAAE,OAAO;QACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC;QACpB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,KAAK,EAAE,CAAC;IACjB,CAAC;IAEkB,MAAM;QACrB,MAAM,IAAI,GAAG,CAAC,IAAU,EAAE,IAAY,EAAE,KAAa,EAAE,EAAE,CAAC,IAAI,CAAA;0CAC5B,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,iBAAiB,IAAI,CAAC,IAAI,KAAK,IAAI,UAAU,KAAK,WAAW,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI;SAChK,CAAC;QACF,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC/B,MAAM,IAAI,GACN,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,8BAA8B;YACzD,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,sBAAsB,IAAI,CAAC,MAAM,UAAU,CAAC;gBACtH,CAAC,CAAC,mDAAmD,CAAC;QAC1D,OAAO,IAAI,CAAA;;kBAED,IAAI,CAAC,QAAQ;YACX,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,IAAI,CAAA;4BACE,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,iCAAiC,CAAC;4BAC3D,IAAI,CAAC,UAAU,EAAE,YAAY,EAAE,eAAe,CAAC;4BAC/C,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,yDAAyD,CAAC;kGACf,CAAC,IAAI,CAAC,QAAQ,WAAW,GAAG,EAAE,CAAC,IAAI,CAAC,cAAc,EAAE;+CACvG,IAAI;uBAC5B;uGACgF,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE;;sDAEpE,CAAC,CAAgB,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;;kBAEvE,IAAI,CAAC,OAAO;YACV,CAAC,CAAC,IAAI,CAAA;;;6BAGG;YACT,CAAC,CAAC,OAAO;kBACX,QAAQ,KAAK,IAAI;YACf,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,IAAI,CAAA;0CACgB,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;;;;mCAI9E,QAAQ,CAAC,KAAK;mCACd,CAAC,CAAQ,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,GAAG,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAG,CAAC,CAAC,MAA2B,CAAC,KAAK,EAAE,CAAC;qCAC1F,CAAC,CAAgB,EAAE,EAAE;gBAC5B,CAAC,CAAC,eAAe,EAAE,CAAC;gBACpB,IAAI,CAAC,CAAC,GAAG,KAAK,OAAO;oBAAE,IAAI,CAAC,YAAY,EAAE,CAAC;qBACtC,IAAI,CAAC,CAAC,GAAG,KAAK,QAAQ;oBAAE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;YACtD,CAAC;kCACO,GAAG,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE;yBAClC;;SAEhB,CAAC;IACN,CAAC;aAEe,WAAM,GAAG;QACrB,MAAM;QACN,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAqGF;KACJ,AAxGqB,CAwGpB;CACL;AAED,0CAA0C;AAC1C,SAAS,IAAI,CAAC,IAAkB;IAC5B,OAAO,IAAI,CAAC,EAAE,EAAE,CAAC;AACrB,CAAC;AAED,cAAc,CAAC,MAAM,CAAC,iBAAiB,EAAE,cAAc,CAAC,CAAC"}

package/dist/components/arg2p-graph.d.ts

@@ -0,0 +1,112 @@
+import type { Core } from 'cytoscape';
+import { LitElement, type PropertyValues } from 'lit';
+import { type GraphData, type Run, type SolutionData } from '../engine.js';
+import { type Positions } from '../graph/positions.js';
+/** The stages of a computation the graph can be browsed back through: 0 to [last], the graph shown being the last */
+export interface Stages {
+    readonly last: number;
+    graphAt(branch: number): Promise<GraphData>;
+}
+/**
+ * The argument graph of a solution: every argument a node in the colour of its label, built on the arguments below it
+ * (facts at the bottom) and attacking others. Hovering an argument (or tapping it, the only way on touch screens)
+ * tells about it; the stages of the computation can be browsed back; the graph can be saved as a picture.
+ *
+ * An abstract framework (profile abstract) has no structure: its arguments go by the names the theory gives them and
+ * are placed by their attacks alone.
+ *
+ * Events: `arg2p-toggle` when supports or conclusions are shown or hidden (to remember it), and `arg2p-export` with
+ * the picture (cancel it to save the picture another way; otherwise it is downloaded).
+ */
+export declare class Arg2pGraph extends LitElement {
+    static properties: {
+        graph: {
+            attribute: boolean;
+        };
+        positions: {
+            attribute: boolean;
+        };
+        stages: {
+            attribute: boolean;
+        };
+        showSupports: {
+            type: BooleanConstructor;
+            attribute: string;
+            reflect: boolean;
+        };
+        showConclusions: {
+            type: BooleanConstructor;
+            attribute: string;
+            reflect: boolean;
+        };
+        fileName: {
+            attribute: string;
+        };
+        empty: {
+            type: BooleanConstructor;
+            reflect: boolean;
+        };
+        stage: {
+            state: boolean;
+        };
+        drawn: {
+            state: boolean;
+        };
+        shown: {
+            state: boolean;
+        };
+    };
+    /** The graph shown */
+    graph: GraphData;
+    /** The stages of the computation of [graph], if it can be browsed */
+    stages: Stages | null;
+    /** Where the arguments of an abstract framework are, by name: shared with its drawing (see arg2p-positions) */
+    positions: Positions | null;
+    showSupports: boolean;
+    showConclusions: boolean;
+    /** The name of the picture the graph is saved as, with no extension */
+    fileName: string;
+    /** Set when there is nothing to show: no arguments, and no stages to browse (a page may hide the graph) */
+    empty: boolean;
+    private stage;
+    private drawn;
+    private shown;
+    private pinned;
+    private cy;
+    private unfollow;
+    /** Shows the graph of [solution], its stages browsable through [run] */
+    showSolution(solution: SolutionData, run?: Pick<Run, 'graphAt'> | null): void;
+    clear(): void;
+    /** The graph as a PNG picture, as a data URL: the whole of it, on the background of the element */
+    png(): string;
+    /** Fits the drawing to the element */
+    fit(): void;
+    /** Draws the graph again, in the colours the page sets now (after a change of theme) */
+    restyle(): void;
+    /** The drawing, for what the element does not do itself (and for tests) */
+    get drawing(): Core | null;
+    protected willUpdate(changed: PropertyValues): void;
+    protected firstUpdated(): void;
+    protected updated(changed: PropertyValues): void;
+    disconnectedCallback(): void;
+    connectedCallback(): void;
+    private draw;
+    private tellPositions;
+    private place;
+    private goTo;
+    private show;
+    private placePopup;
+    private toggle;
+    private export;
+    protected render(): import("lit-html").TemplateResult<1>;
+    private popup;
+    private row;
+    private chips;
+    private chip;
+    static styles: import("lit").CSSResult[];
+}
+declare global {
+    interface HTMLElementTagNameMap {
+        'arg2p-graph': Arg2pGraph;
+    }
+}