@tuprolog/arg2p-ui 0.0.0-stage → 0.1.0

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

@@ -0,0 +1,75 @@
+import { LitElement, nothing, type PropertyValues } from 'lit';
+import type { EngineError, Run } from '../engine.js';
+/**
+ * The solutions of a query, asked for one at a time (Next): yes with its bindings, no, or halt with its error; an
+ * error that kept the query from running shows alone. Picking a yes solution shows it again (its graph, say).
+ *
+ * Events: `arg2p-solution` with the solution and its run, when one is shown (the newest, or one picked);
+ * `arg2p-busy` with whether a solution is being computed; `arg2p-failure` with the EngineError of a computation that
+ * failed (stopped, say); `arg2p-error-select` with the error shown, when it is picked (to go where it is).
+ *
+ * Attributes: `hide-exhausted-no` hides the no that only tells that the yes solutions are over; `trivial` is set
+ * when there is nothing to show besides the query itself (a page may hide the solutions then).
+ */
+export declare class Arg2pSolutions extends LitElement {
+    static properties: {
+        hideExhaustedNo: {
+            type: BooleanConstructor;
+            attribute: string;
+        };
+        trivial: {
+            type: BooleanConstructor;
+            reflect: boolean;
+        };
+        busy: {
+            type: BooleanConstructor;
+            reflect: boolean;
+        };
+        run: {
+            state: boolean;
+        };
+        entries: {
+            state: boolean;
+        };
+        error: {
+            state: boolean;
+        };
+        shown: {
+            state: boolean;
+        };
+    };
+    hideExhaustedNo: boolean;
+    trivial: boolean;
+    busy: boolean;
+    private run;
+    private entries;
+    private error;
+    private shown;
+    /** Shows the solutions of [run], from its first one */
+    start(run: Run): Promise<void>;
+    /** Shows [error], which kept a query from running */
+    fail(error: EngineError): void;
+    clear(): void;
+    /** Whether there is another solution to ask for */
+    get hasNext(): boolean;
+    /** Asks for the next solution: the page stays responsive meanwhile. A run replaced meanwhile is let go */
+    next(): Promise<void>;
+    private reset;
+    private setBusy;
+    private add;
+    private show;
+    private emit;
+    protected willUpdate(): void;
+    protected updated(changed: PropertyValues): void;
+    protected render(): typeof nothing | import("lit-html").TemplateResult<1>;
+    private renderError;
+    private renderEntry;
+    static styles: import("lit").CSSResult[];
+}
+/** The top level elements of a Prolog list term, or null for any other term (a list with a tail, `[a | T]`, too) */
+export declare function listItems(term: string): string[] | null;
+declare global {
+    interface HTMLElementTagNameMap {
+        'arg2p-solutions': Arg2pSolutions;
+    }
+}

package/dist/components/arg2p-solutions.js

@@ -0,0 +1,391 @@
+import { LitElement, css, html, nothing } from 'lit';
+import { tokens } from '../theme.js';
+// Bindings named after a label (In, Out, Und) hold sets of arguments or statements: shown as chips coloured like the
+// graph
+const LABELS = ['in', 'out', 'und'];
+/**
+ * The solutions of a query, asked for one at a time (Next): yes with its bindings, no, or halt with its error; an
+ * error that kept the query from running shows alone. Picking a yes solution shows it again (its graph, say).
+ *
+ * Events: `arg2p-solution` with the solution and its run, when one is shown (the newest, or one picked);
+ * `arg2p-busy` with whether a solution is being computed; `arg2p-failure` with the EngineError of a computation that
+ * failed (stopped, say); `arg2p-error-select` with the error shown, when it is picked (to go where it is).
+ *
+ * Attributes: `hide-exhausted-no` hides the no that only tells that the yes solutions are over; `trivial` is set
+ * when there is nothing to show besides the query itself (a page may hide the solutions then).
+ */
+export class Arg2pSolutions extends LitElement {
+    constructor() {
+        super(...arguments);
+        this.hideExhaustedNo = false;
+        this.trivial = true;
+        this.busy = false;
+        this.run = null;
+        this.entries = [];
+        this.error = null;
+        this.shown = null;
+    }
+    static { this.properties = {
+        hideExhaustedNo: { type: Boolean, attribute: 'hide-exhausted-no' },
+        trivial: { type: Boolean, reflect: true },
+        busy: { type: Boolean, reflect: true },
+        run: { state: true },
+        entries: { state: true },
+        error: { state: true },
+        shown: { state: true },
+    }; }
+    /** Shows the solutions of [run], from its first one */
+    start(run) {
+        this.reset();
+        this.run = run;
+        return this.next();
+    }
+    /** Shows [error], which kept a query from running */
+    fail(error) {
+        this.reset();
+        this.error = error;
+    }
+    clear() {
+        this.reset();
+    }
+    /** Whether there is another solution to ask for */
+    get hasNext() {
+        return this.run !== null && !this.busy && this.run.hasNext();
+    }
+    /** Asks for the next solution: the page stays responsive meanwhile. A run replaced meanwhile is let go */
+    next() {
+        const run = this.run;
+        if (run === null || this.busy || !run.hasNext())
+            return Promise.resolve();
+        this.setBusy(true);
+        return run.next().then(solution => {
+            if (run !== this.run)
+                return;
+            this.setBusy(false);
+            this.add(solution);
+        }, (error) => {
+            if (run !== this.run)
+                return;
+            this.setBusy(false);
+            this.emit('arg2p-failure', { error });
+        });
+    }
+    reset() {
+        this.run = null;
+        this.entries = [];
+        this.error = null;
+        this.shown = null;
+        this.setBusy(false);
+    }
+    setBusy(busy) {
+        if (this.busy === busy)
+            return;
+        this.busy = busy;
+        this.emit('arg2p-busy', { busy });
+    }
+    add(solution) {
+        const accepted = this.entries.filter(it => it.accepted > 0).length;
+        // Once a solution has been accepted, a trailing no only marks the end of the enumeration. A leading one still
+        // means something (no extension under the semantics chosen), so it is never hidden.
+        if (this.hideExhaustedNo && solution.result === 'no' && accepted > 0)
+            return;
+        const entry = { solution, accepted: solution.result === 'yes' ? accepted + 1 : 0 };
+        this.entries = [...this.entries, entry];
+        // the newest solution is the one shown
+        if (solution.result === 'yes')
+            this.show(entry);
+    }
+    show(entry) {
+        this.shown = entry;
+        this.emit('arg2p-solution', { solution: entry.solution, run: this.run });
+    }
+    emit(type, detail) {
+        this.dispatchEvent(new CustomEvent(type, { detail, bubbles: true, composed: true }));
+    }
+    willUpdate() {
+        // A plain yes with no bindings only repeats the query: the solutions are worth showing for bindings, failures
+        // and errors, and as soon as there is a second solution to pick from
+        const yes = this.entries.filter(it => it.solution.result === 'yes');
+        this.trivial =
+            this.error === null &&
+                this.entries.every(it => it.solution.result === 'yes' && it.solution.bindings.length === 0) &&
+                yes.length <= 1;
+    }
+    updated(changed) {
+        if (changed.has('entries'))
+            this.renderRoot.querySelector('.solution:last-child')?.scrollIntoView?.({ block: 'nearest' });
+    }
+    render() {
+        if (this.error !== null)
+            return this.renderError(this.error);
+        if (this.run === null)
+            return nothing;
+        return html `
+            <div class="head">
+                <div class="query">?- ${this.run.query}</div>
+                <button type="button" class="next" title="The next solution" ?disabled=${!this.hasNext} @click=${() => this.next()}>Next</button>
+            </div>
+            <ol class="list">
+                ${this.entries.map(entry => this.renderEntry(entry))}
+                ${this.busy ? html `<li class="pending" aria-live="polite">Solving…</li>` : nothing}
+            </ol>
+        `;
+    }
+    renderError(error) {
+        const where = error.syntax;
+        const select = () => this.emit('arg2p-error-select', { error });
+        return html `
+            <ol class="list">
+                <li
+                    class="solution halt ${where !== null ? 'selectable' : ''}"
+                    tabindex=${where !== null ? 0 : -1}
+                    title=${where !== null ? 'Go to the error' : ''}
+                    @click=${where !== null ? select : null}
+                    @keydown=${where !== null ? (e) => activate(e, select) : null}
+                >
+                    ${header('error', error.name)}
+                    <div class="error">${error.message}</div>
+                </li>
+            </ol>
+        `;
+    }
+    renderEntry(entry) {
+        const { solution, accepted } = entry;
+        if (solution.result === 'no') {
+            const any = this.entries.some(it => it.accepted > 0);
+            return html `<li class="solution no">${header('no', any ? 'No more solutions' : 'No solutions')}</li>`;
+        }
+        if (solution.result === 'halt') {
+            return html `<li class="solution halt">${header('halt', 'Halted')}<div class="error">${solution.error ?? ''}</div></li>`;
+        }
+        const pick = () => this.show(entry);
+        return html `
+            <li
+                class="solution yes selectable ${this.shown === entry ? 'shown' : ''}"
+                tabindex="0"
+                role="button"
+                aria-pressed=${this.shown === entry}
+                title="Show the graph of this solution"
+                @click=${pick}
+                @keydown=${(e) => activate(e, pick)}
+            >
+                ${header('yes', `Solution ${accepted}`)}
+                ${solution.bindings.length > 0 ? bindings(solution.bindings) : html `<div class="term">${solution.query}</div>`}
+            </li>
+        `;
+    }
+    static { this.styles = [
+        tokens,
+        css `
+            :host {
+                display: block;
+                font-size: 14px;
+            }
+            .head {
+                display: flex;
+                align-items: baseline;
+                gap: 8px;
+                padding: 0 2px 8px 2px;
+            }
+            .query {
+                flex: 1;
+                font-family: var(--_mono);
+                font-size: 13px;
+                color: var(--_muted);
+                word-break: break-word;
+            }
+            button {
+                font: inherit;
+                font-size: 13px;
+                color: var(--_text);
+                background: var(--_surface);
+                border: 1px solid var(--_border);
+                border-radius: 4px;
+                padding: 2px 10px;
+                cursor: pointer;
+            }
+            button:hover:not(:disabled) {
+                background: var(--_hover);
+            }
+            button:disabled {
+                opacity: 0.5;
+                cursor: default;
+            }
+            .list {
+                list-style: none;
+                margin: 0;
+                padding: 0;
+            }
+            .solution {
+                border: 1px solid var(--_border);
+                border-left: 4px solid var(--_accent);
+                border-radius: 6px;
+                padding: 8px 10px;
+                margin-bottom: 8px;
+                background: var(--_surface);
+            }
+            .selectable {
+                cursor: pointer;
+            }
+            .selectable:hover {
+                background: var(--_hover);
+            }
+            .selectable:focus {
+                outline: none;
+            }
+            .selectable:focus-visible,
+            .shown {
+                box-shadow: 0 0 0 2px color-mix(in srgb, var(--_accent) 45%, transparent);
+            }
+            .solution.no {
+                border-left-color: var(--_no);
+            }
+            .solution.halt {
+                border-left-color: var(--_error);
+            }
+            .header {
+                display: flex;
+                align-items: center;
+                gap: 8px;
+            }
+            .badge {
+                font-size: 11px;
+                font-weight: bold;
+                text-transform: uppercase;
+                letter-spacing: 0.04em;
+                color: #ffffff;
+                background: var(--_accent);
+                border-radius: 4px;
+                padding: 1px 6px;
+            }
+            .no .badge {
+                background: var(--_no);
+            }
+            .halt .badge {
+                background: var(--_error);
+            }
+            .term,
+            .error,
+            .bindings {
+                margin: 8px 0 0 0;
+                font-family: var(--_mono);
+                font-size: 13px;
+                word-break: break-word;
+            }
+            .error {
+                color: var(--_error);
+            }
+            .bindings {
+                display: grid;
+                grid-template-columns: max-content 1fr;
+                column-gap: 10px;
+                row-gap: 6px;
+                align-items: baseline;
+            }
+            dt {
+                font-weight: bold;
+            }
+            dt::after {
+                content: ' =';
+                color: var(--_muted);
+                font-weight: normal;
+            }
+            dd {
+                margin: 0;
+                display: flex;
+                flex-wrap: wrap;
+                gap: 4px;
+            }
+            .chip {
+                border-radius: 10px;
+                padding: 0 8px;
+                color: #ffffff;
+            }
+            .chip.in {
+                background: var(--_in);
+            }
+            .chip.out {
+                background: var(--_out);
+            }
+            .chip.und {
+                background: var(--_und);
+            }
+            .empty,
+            .pending {
+                color: var(--_muted);
+            }
+            .pending {
+                font-style: italic;
+                padding: 4px 2px;
+            }
+        `,
+    ]; }
+}
+function header(badge, title) {
+    return html `<div class="header"><span class="badge">${badge}</span><span>${title}</span></div>`;
+}
+function activate(event, action) {
+    if (event.key !== 'Enter' && event.key !== ' ')
+        return;
+    event.preventDefault();
+    action();
+}
+// `Variable = value` rows. A value of a label variable that is a list shows its items as chips; any other value keeps
+// its Prolog form, where a list and its single element would otherwise look the same.
+function bindings(list) {
+    return html `
+        <dl class="bindings">
+            ${list.map(({ name, value }) => {
+        const label = name.toLowerCase();
+        const items = LABELS.includes(label) ? listItems(value) : null;
+        return html `
+                    <dt>${name}</dt>
+                    <dd>
+                        ${items === null ? value
+            : items.length === 0 ? html `<span class="empty">[ ]</span>`
+                : items.map(item => html `<span class="chip ${label}">${single(item)}</span>`)}
+                    </dd>
+                `;
+    })}
+        </dl>
+    `;
+}
+// A statement of a set of labelled statements is a list of one term, `[flies(tweety)]`: shown as the term
+function single(item) {
+    const items = listItems(item);
+    return items !== null && items.length === 1 ? items[0] : item;
+}
+/** The top level elements of a Prolog list term, or null for any other term (a list with a tail, `[a | T]`, too) */
+export function listItems(term) {
+    const text = term.trim();
+    if (!text.startsWith('[') || !text.endsWith(']'))
+        return null;
+    const body = text.slice(1, -1).trim();
+    if (body === '')
+        return [];
+    const items = [];
+    let depth = 0;
+    let quoted = false;
+    let current = '';
+    for (const char of body) {
+        if (char === "'")
+            quoted = !quoted;
+        if (!quoted && '([{'.includes(char))
+            depth++;
+        if (!quoted && ')]}'.includes(char))
+            depth--;
+        if (!quoted && depth === 0 && char === '|')
+            return null;
+        if (!quoted && depth === 0 && char === ',') {
+            items.push(current.trim());
+            current = '';
+        }
+        else {
+            current += char;
+        }
+    }
+    items.push(current.trim());
+    return items;
+}
+customElements.define('arg2p-solutions', Arg2pSolutions);
+//# sourceMappingURL=arg2p-solutions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"arg2p-solutions.js","sourceRoot":"","sources":["../../src/components/arg2p-solutions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAuB,MAAM,KAAK,CAAC;AAE1E,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,qHAAqH;AACrH,QAAQ;AACR,MAAM,MAAM,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAQpC;;;;;;;;;;GAUG;AACH,MAAM,OAAO,cAAe,SAAQ,UAAU;IAA9C;;QAWI,oBAAe,GAAG,KAAK,CAAC;QACxB,YAAO,GAAG,IAAI,CAAC;QACf,SAAI,GAAG,KAAK,CAAC;QAEL,QAAG,GAAe,IAAI,CAAC;QACvB,YAAO,GAAY,EAAE,CAAC;QACtB,UAAK,GAAuB,IAAI,CAAC;QACjC,UAAK,GAAiB,IAAI,CAAC;IAySvC,CAAC;aA1TmB,eAAU,GAAG;QACzB,eAAe,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE;QAClE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE;QACzC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE;QACtC,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;QACpB,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;QACxB,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;QACtB,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;KACzB,AARyB,CAQxB;IAWF,uDAAuD;IACvD,KAAK,CAAC,GAAQ;QACV,IAAI,CAAC,KAAK,EAAE,CAAC;QACb,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;IACvB,CAAC;IAED,qDAAqD;IACrD,IAAI,CAAC,KAAkB;QACnB,IAAI,CAAC,KAAK,EAAE,CAAC;QACb,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACvB,CAAC;IAED,KAAK;QACD,IAAI,CAAC,KAAK,EAAE,CAAC;IACjB,CAAC;IAED,mDAAmD;IACnD,IAAI,OAAO;QACP,OAAO,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IACjE,CAAC;IAED,0GAA0G;IAC1G,IAAI;QACA,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,IAAI,GAAG,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE;YAAE,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1E,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACnB,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,CAClB,QAAQ,CAAC,EAAE;YACP,IAAI,GAAG,KAAK,IAAI,CAAC,GAAG;gBAAE,OAAO;YAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACpB,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvB,CAAC,EACD,CAAC,KAAkB,EAAE,EAAE;YACnB,IAAI,GAAG,KAAK,IAAI,CAAC,GAAG;gBAAE,OAAO;YAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACpB,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1C,CAAC,CACJ,CAAC;IACN,CAAC;IAEO,KAAK;QACT,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC;QAChB,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IAEO,OAAO,CAAC,IAAa;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO;QAC/B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IACtC,CAAC;IAEO,GAAG,CAAC,QAAsB;QAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;QACnE,8GAA8G;QAC9G,oFAAoF;QACpF,IAAI,IAAI,CAAC,eAAe,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,IAAI,QAAQ,GAAG,CAAC;YAAE,OAAO;QAC7E,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,IAAI,CAAC,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACxC,uCAAuC;QACvC,IAAI,QAAQ,CAAC,MAAM,KAAK,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC;IAEO,IAAI,CAAC,KAAY;QACrB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAC7E,CAAC;IAEO,IAAI,CAAC,IAAY,EAAE,MAAe;QACtC,IAAI,CAAC,aAAa,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACzF,CAAC;IAEkB,UAAU;QACzB,8GAA8G;QAC9G,qEAAqE;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC;QACpE,IAAI,CAAC,OAAO;YACR,IAAI,CAAC,KAAK,KAAK,IAAI;gBACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,KAAK,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;gBAC3F,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC;IACxB,CAAC;IAEkB,OAAO,CAAC,OAAuB;QAC9C,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,sBAAsB,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IAC9H,CAAC;IAEkB,MAAM;QACrB,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7D,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI;YAAE,OAAO,OAAO,CAAC;QACtC,OAAO,IAAI,CAAA;;wCAEqB,IAAI,CAAC,GAAG,CAAC,KAAK;yFACmC,CAAC,IAAI,CAAC,OAAO,WAAW,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE;;;kBAGhH,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;kBAClD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA,sDAAsD,CAAC,CAAC,CAAC,OAAO;;SAEzF,CAAC;IACN,CAAC;IAEO,WAAW,CAAC,KAAkB;QAClC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;QAC3B,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QAChE,OAAO,IAAI,CAAA;;;2CAGwB,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE;+BAC9C,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;4BAC1B,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE;6BACtC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;+BAC5B,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAgB,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI;;sBAE1E,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC;yCACR,KAAK,CAAC,OAAO;;;SAG7C,CAAC;IACN,CAAC;IAEO,WAAW,CAAC,KAAY;QAC5B,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;QACrC,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;YACrD,OAAO,IAAI,CAAA,2BAA2B,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC;QAC1G,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAA,6BAA6B,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,QAAQ,CAAC,KAAK,IAAI,EAAE,aAAa,CAAC;QAC5H,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,OAAO,IAAI,CAAA;;iDAE8B,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;;;+BAGrD,IAAI,CAAC,KAAK,KAAK,KAAK;;yBAE1B,IAAI;2BACF,CAAC,CAAgB,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC;;kBAEhD,MAAM,CAAC,KAAK,EAAE,YAAY,QAAQ,EAAE,CAAC;kBACrC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA,qBAAqB,QAAQ,CAAC,KAAK,QAAQ;;SAErH,CAAC;IACN,CAAC;aAEe,WAAM,GAAG;QACrB,MAAM;QACN,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SA8IF;KACJ,AAjJqB,CAiJpB;CACL;AAED,SAAS,MAAM,CAAC,KAAa,EAAE,KAAa;IACxC,OAAO,IAAI,CAAA,2CAA2C,KAAK,gBAAgB,KAAK,eAAe,CAAC;AACpG,CAAC;AAED,SAAS,QAAQ,CAAC,KAAoB,EAAE,MAAkB;IACtD,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO,IAAI,KAAK,CAAC,GAAG,KAAK,GAAG;QAAE,OAAO;IACvD,KAAK,CAAC,cAAc,EAAE,CAAC;IACvB,MAAM,EAAE,CAAC;AACb,CAAC;AAED,sHAAsH;AACtH,sFAAsF;AACtF,SAAS,QAAQ,CAAC,IAA8B;IAC5C,OAAO,IAAI,CAAA;;cAED,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/D,OAAO,IAAI,CAAA;0BACD,IAAI;;0BAEJ,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK;YACxB,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA,gCAAgC;gBAC3D,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAA,qBAAqB,KAAK,KAAK,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;;iBAEpF,CAAC;IACN,CAAC,CAAC;;KAET,CAAC;AACN,CAAC;AAED,0GAA0G;AAC1G,SAAS,MAAM,CAAC,IAAY;IACxB,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAClE,CAAC;AAED,oHAAoH;AACpH,MAAM,UAAU,SAAS,CAAC,IAAY;IAClC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACzB,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACtC,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACtB,IAAI,IAAI,KAAK,GAAG;YAAE,MAAM,GAAG,CAAC,MAAM,CAAC;QACnC,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,EAAE,CAAC;QAC7C,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,EAAE,CAAC;QAC7C,IAAI,CAAC,MAAM,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC;QACxD,IAAI,CAAC,MAAM,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YAC3B,OAAO,GAAG,EAAE,CAAC;QACjB,CAAC;aAAM,CAAC;YACJ,OAAO,IAAI,IAAI,CAAC;QACpB,CAAC;IACL,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,cAAc,CAAC,MAAM,CAAC,iBAAiB,EAAE,cAAc,CAAC,CAAC"}

package/dist/data.d.ts

@@ -0,0 +1,9 @@
+export * from './engine.js';
+export { layeredLayout, type Link, type Point, type Size, type LayoutOptions } from './graph/layout.js';
+export { levelsOf, supportsOf } from './graph/levels.js';
+export { isAbstract, nameOf } from './graph/drawing.js';
+export { parseFramework, toApx, toTgf, toTheory, frameworkOf, type Framework, type ReadFramework } from './formats/frameworks.js';
+export { declaredFramework, redrawn } from './formats/declarations.js';
+export { FLAG_GROUPS, FLAGS, PROFILES, DEFAULTS, DEFAULT_FLAGS, DEFAULT_PROFILE, SEMANTICS, profileInfo, type Flag, type FlagGroup, type FlagOption, type ProfileInfo, type Settings, } from './flags/schema.js';
+export { statedFlags, statedProfile, withValues, withNone, withSwitch, without } from './flags/text.js';
+export type { Positions } from './graph/positions.js';

package/dist/data.js

@@ -0,0 +1,11 @@
+// What the components are built on, with no component: the contract of the engines, the flags and the profiles, the
+// formats of abstract frameworks, the layout of graphs. It needs no DOM (@tuprolog/arg2p-ui/data).
+export * from './engine.js';
+export { layeredLayout } from './graph/layout.js';
+export { levelsOf, supportsOf } from './graph/levels.js';
+export { isAbstract, nameOf } from './graph/drawing.js';
+export { parseFramework, toApx, toTgf, toTheory, frameworkOf } from './formats/frameworks.js';
+export { declaredFramework, redrawn } from './formats/declarations.js';
+export { FLAG_GROUPS, FLAGS, PROFILES, DEFAULTS, DEFAULT_FLAGS, DEFAULT_PROFILE, SEMANTICS, profileInfo, } from './flags/schema.js';
+export { statedFlags, statedProfile, withValues, withNone, withSwitch, without } from './flags/text.js';
+//# sourceMappingURL=data.js.map

package/dist/data.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"data.js","sourceRoot":"","sources":["../src/data.ts"],"names":[],"mappings":"AAAA,oHAAoH;AACpH,mGAAmG;AACnG,cAAc,aAAa,CAAC;AAC5B,OAAO,EAAE,aAAa,EAAwD,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAsC,MAAM,yBAAyB,CAAC;AAClI,OAAO,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EACH,WAAW,EACX,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,eAAe,EACf,SAAS,EACT,WAAW,GAMd,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/editor/language.d.ts

@@ -0,0 +1,9 @@
+import { StreamLanguage } from '@codemirror/language';
+import type { Extension } from '@codemirror/state';
+interface State {
+    comment: boolean;
+}
+export declare const arg2pLanguage: StreamLanguage<State>;
+/** The language and its colours */
+export declare function arg2p(): Extension;
+export {};

package/dist/editor/language.js

@@ -0,0 +1,78 @@
+import { HighlightStyle, StreamLanguage, syntaxHighlighting } from '@codemirror/language';
+import { tags } from '@lezer/highlight';
+const parser = {
+    name: 'arg2p',
+    startState: () => ({ comment: false }),
+    token(stream, state) {
+        if (state.comment) {
+            if (stream.skipTo('*/')) {
+                stream.pos += 2;
+                state.comment = false;
+            }
+            else {
+                stream.skipToEnd();
+            }
+            return 'comment';
+        }
+        if (stream.eatSpace())
+            return null;
+        if (stream.match('/*')) {
+            state.comment = true;
+            return 'comment';
+        }
+        if (stream.match(/^%.*/))
+            return 'comment';
+        if (stream.match(/^[a-z][a-zA-Z0-9_]*(?=\()/))
+            return 'functor';
+        if (stream.match(/^[a-z][a-zA-Z0-9_]*/))
+            return 'atom';
+        if (stream.match(/^[A-Z_][a-zA-Z0-9_]*/))
+            return 'variable';
+        if (stream.match(/^"([^"\\]|\\.)*"?/))
+            return 'string';
+        if (stream.match(/^'([^'\\]|\\.|'')*'?/))
+            return 'atom';
+        if (stream.match(/^0'(\\.|.)/))
+            return 'number';
+        if (stream.match(/^\d+(\.\d+)?([eE][-+]?\d+)?/))
+            return 'number';
+        if (stream.match(/^(:=>|:->|<->|=>|->|:-|\?-)(?![=><!~?:&|+\-*/^\\@#$.])/))
+            return 'arrow';
+        if (stream.match(/^\.(?=\s|%|$)/))
+            return 'end';
+        if (stream.match(/^[=><!~?:&|+\-*/^\\@#$.]+/))
+            return 'operator';
+        if (stream.match(/^[(),;[\]{}|]/))
+            return 'punctuation';
+        stream.next();
+        return null;
+    },
+    languageData: { commentTokens: { line: '%', block: { open: '/*', close: '*/' } } },
+    tokenTable: {
+        comment: tags.comment,
+        functor: tags.function(tags.name),
+        atom: tags.atom,
+        variable: tags.variableName,
+        string: tags.string,
+        number: tags.number,
+        arrow: tags.keyword,
+        end: tags.separator,
+        operator: tags.operator,
+        punctuation: tags.punctuation,
+    },
+};
+export const arg2pLanguage = StreamLanguage.define(parser);
+// The colours of the tokens, custom properties the page may set (see theme.ts)
+const style = HighlightStyle.define([
+    { tag: tags.comment, color: 'var(--_comment)', fontStyle: 'italic' },
+    { tag: [tags.atom, tags.number, tags.string], color: 'var(--_atom)' },
+    { tag: tags.function(tags.name), color: 'var(--_functor)' },
+    { tag: tags.variableName, color: 'var(--_variable)' },
+    { tag: tags.keyword, color: 'var(--_accent)', fontWeight: 'bold' },
+    { tag: [tags.operator, tags.separator, tags.punctuation], color: 'var(--_muted)' },
+]);
+/** The language and its colours */
+export function arg2p() {
+    return [arg2pLanguage, syntaxHighlighting(style)];
+}
+//# sourceMappingURL=language.js.map

package/dist/editor/language.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"language.js","sourceRoot":"","sources":["../../src/editor/language.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,kBAAkB,EAAqB,MAAM,sBAAsB,CAAC;AAE7G,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AASxC,MAAM,MAAM,GAAwB;IAChC,IAAI,EAAE,OAAO;IACb,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACtC,KAAK,CAAC,MAAM,EAAE,KAAK;QACf,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAChB,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC;gBAChB,KAAK,CAAC,OAAO,GAAG,KAAK,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACJ,MAAM,CAAC,SAAS,EAAE,CAAC;YACvB,CAAC;YACD,OAAO,SAAS,CAAC;QACrB,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,EAAE;YAAE,OAAO,IAAI,CAAC;QACnC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;YACrB,OAAO,SAAS,CAAC;QACrB,CAAC;QACD,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;YAAE,OAAO,SAAS,CAAC;QAC3C,IAAI,MAAM,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAAE,OAAO,SAAS,CAAC;QAChE,IAAI,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC;YAAE,OAAO,MAAM,CAAC;QACvD,IAAI,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC;YAAE,OAAO,UAAU,CAAC;QAC5D,IAAI,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC;YAAE,OAAO,QAAQ,CAAC;QACvD,IAAI,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC;YAAE,OAAO,MAAM,CAAC;QACxD,IAAI,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC;YAAE,OAAO,QAAQ,CAAC;QAChD,IAAI,MAAM,CAAC,KAAK,CAAC,6BAA6B,CAAC;YAAE,OAAO,QAAQ,CAAC;QACjE,IAAI,MAAM,CAAC,KAAK,CAAC,wDAAwD,CAAC;YAAE,OAAO,OAAO,CAAC;QAC3F,IAAI,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC;YAAE,OAAO,KAAK,CAAC;QAChD,IAAI,MAAM,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAAE,OAAO,UAAU,CAAC;QACjE,IAAI,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC;YAAE,OAAO,aAAa,CAAC;QACxD,MAAM,CAAC,IAAI,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,YAAY,EAAE,EAAE,aAAa,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE;IAClF,UAAU,EAAE;QACR,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;QACjC,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,QAAQ,EAAE,IAAI,CAAC,YAAY;QAC3B,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,KAAK,EAAE,IAAI,CAAC,OAAO;QACnB,GAAG,EAAE,IAAI,CAAC,SAAS;QACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,WAAW,EAAE,IAAI,CAAC,WAAW;KAChC;CACJ,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAE3D,+EAA+E;AAC/E,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC;IAChC,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,iBAAiB,EAAE,SAAS,EAAE,QAAQ,EAAE;IACpE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE;IACrE,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,iBAAiB,EAAE;IAC3D,EAAE,GAAG,EAAE,IAAI,CAAC,YAAY,EAAE,KAAK,EAAE,kBAAkB,EAAE;IACrD,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,EAAE;IAClE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,eAAe,EAAE;CACrF,CAAC,CAAC;AAEH,mCAAmC;AACnC,MAAM,UAAU,KAAK;IACjB,OAAO,CAAC,aAAa,EAAE,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC;AACtD,CAAC"}