openalgo-script 0.5.0 → 0.6.0

package/dist/core/importer/context.d.ts

@@ -0,0 +1,118 @@
+/**
+ * What the translators share while they work through one script.
+ *
+ * A translation is kept or refused per top level statement, never per line
+ * inside one: a block with one line missing is a block that means something
+ * the original did not, so the unit that is kept as a comment is the whole
+ * statement at the top level. `Node` is that unit, and everything a refusal or
+ * a warning needs to point at is recorded against it rather than decided on the
+ * spot, because a statement translated now can still be refused later: by the
+ * compiler, or because an earlier statement it reads was refused.
+ */
+import type { Diagnostic } from '../diagnostics/index.js';
+import type { SourceFile } from '../source/index.js';
+import type { Span } from '../span/index.js';
+import { Namer, Scope } from './names.js';
+import type { Binding } from './names.js';
+import type { Expr, Lines, Named, Place, Stmt } from './syntax.js';
+export interface OutLine {
+    readonly depth: number;
+    readonly text: string;
+}
+/** A finding on a statement that is kept, and the key that makes it once per script where it is once per built-in. */
+export interface Note {
+    readonly diagnostic: Diagnostic;
+    readonly once: string | undefined;
+}
+export interface Node {
+    readonly stmt: Stmt;
+    readonly lines: Lines;
+    /** Top level names the statement declares, so what reads them can follow it. */
+    readonly declares: readonly Named[];
+    /** Top level names it reads, in source order, with where. */
+    readonly reads: Named[];
+    output: OutLine[];
+    /** Why its translation was refused, if it was. */
+    refusal: Diagnostic | undefined;
+    /** Why the compiler refused the translation, if it did. */
+    failed: Diagnostic | undefined;
+    /** Why it reads a name a refused statement declared, recomputed on every pass. */
+    lost: Diagnostic | undefined;
+    readonly notes: Note[];
+    /** The declaration, which is placed first and is never kept as a comment. */
+    readonly declaration: boolean;
+}
+export declare function isKept(node: Node): boolean;
+/** The first reason a node is not kept, in the order the reasons are found. */
+export declare function reasonOf(node: Node): Diagnostic | undefined;
+export type Version = 5 | 6;
+export interface Reassignment {
+    readonly op: string;
+    readonly value: Expr;
+}
+/** Everything about the script the translators need before they start. */
+export interface Facts {
+    readonly file: SourceFile;
+    readonly version: Version;
+    /** Every identifier the source writes. */
+    readonly used: ReadonlySet<string>;
+    /**
+     * Every reassignment the source makes, by name, anywhere in the file. A name
+     * with any is never a constant, and is present only if every value it is
+     * given is.
+     */
+    readonly reassigned: ReadonlyMap<string, readonly Reassignment[]>;
+    /**
+     * Every name the file declares at the top level, wherever. OpenScript lets a
+     * block or a function see one declared below it, so an inner declaration of
+     * the same name is renamed, which the source dialect's meaning allows.
+     */
+    readonly globals: ReadonlySet<string>;
+    /** The side each literal entry id opens, from the script's entry calls. */
+    readonly entries: ReadonlyMap<string, 'long' | 'short'>;
+}
+export declare class Context {
+    readonly namer: Namer;
+    readonly fileScope: Scope;
+    scope: Scope;
+    /** The statement being translated. */
+    node: Node | undefined;
+    /** Lines a statement needs evaluated before it, and whether it may have them. */
+    hoisted: OutLine[];
+    mayHoist: boolean;
+    /** Inside a ternary arm, where the source dialect evaluates lazily as OpenScript does. */
+    lazy: number;
+    depth: number;
+    /** The declaration's pyramiding, read as the source dialect reads it: 0 is 1. */
+    pyramiding: number;
+    /**
+     * Whether the declaration sizes orders in units. The source dialect counts a
+     * quantity written on an entry in contracts whatever the declaration says,
+     * and OpenScript counts it in the declaration's own unit.
+     */
+    qtyInUnits: boolean;
+    readonly titles: Map<string, Set<string>>;
+    readonly facts: Facts;
+    constructor(facts: Facts);
+    span(at: Place): Span;
+    /** Records the first reason the current statement cannot be translated. */
+    refuse(diagnostic: Diagnostic): void;
+    get refused(): boolean;
+    note(diagnostic: Diagnostic, once?: string): void;
+    /** Whether declaring `name` in the current scope needs a new spelling to keep it apart. */
+    hides(name: string): boolean;
+    /** The binding a source name has here, recording a read of a top level one. */
+    lookup(name: string, at: Place): Binding | undefined;
+    /** Enters a block scope for the length of `work`. */
+    within<T>(work: () => T): T;
+    /**
+     * Moves an expression to its own line before the current statement, and
+     * returns the name it is read under, or undefined where it cannot be moved.
+     */
+    hoist(text: string): string | undefined;
+    /** A title for a declared output that no other output of its kind has. */
+    title(kind: string, wanted: string): string;
+}
+/** A string literal in OpenScript's spelling of it (`language.md` 3.6). */
+export declare function quoted(value: string): string;
+//# sourceMappingURL=context.d.ts.map

package/dist/core/importer/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/core/importer/context.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAEnE,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,sHAAsH;AACtH,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;CACnC;AAED,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,EAAE,SAAS,KAAK,EAAE,CAAC;IACpC,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC;IACxB,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,kDAAkD;IAClD,OAAO,EAAE,UAAU,GAAG,SAAS,CAAC;IAChC,2DAA2D;IAC3D,MAAM,EAAE,UAAU,GAAG,SAAS,CAAC;IAC/B,kFAAkF;IAClF,IAAI,EAAE,UAAU,GAAG,SAAS,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;IACvB,6EAA6E;IAC7E,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B;AAED,wBAAgB,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAE1C;AAED,+EAA+E;AAC/E,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,UAAU,GAAG,SAAS,CAE3D;AAED,MAAM,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;AAE5B,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;CACtB;AAED,0EAA0E;AAC1E,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,0CAA0C;IAC1C,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC,CAAC;IAClE;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC;CACzD;AAED,qBAAa,OAAO;IAClB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,SAAS,QAAwB;IAC1C,KAAK,EAAE,KAAK,CAAkB;IAC9B,sCAAsC;IACtC,IAAI,EAAE,IAAI,GAAG,SAAS,CAAC;IACvB,iFAAiF;IACjF,OAAO,EAAE,OAAO,EAAE,CAAM;IACxB,QAAQ,UAAS;IACjB,0FAA0F;IAC1F,IAAI,SAAK;IACT,KAAK,SAAK;IACV,iFAAiF;IACjF,UAAU,SAAK;IACf;;;;OAIG;IACH,UAAU,UAAQ;IAClB,QAAQ,CAAC,MAAM,2BAAkC;IACjD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;gBAEV,KAAK,EAAE,KAAK;IAKxB,IAAI,CAAC,EAAE,EAAE,KAAK,GAAG,IAAI;IAIrB,2EAA2E;IAC3E,MAAM,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI;IAIpC,IAAI,OAAO,IAAI,OAAO,CAErB;IAED,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI;IAIjD,2FAA2F;IAC3F,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAI5B,+EAA+E;IAC/E,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS;IAMpD,qDAAqD;IACrD,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC;IAU3B;;;OAGG;IACH,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAOvC,0EAA0E;IAC1E,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM;CAW5C;AAID,2EAA2E;AAC3E,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAa5C"}

package/dist/core/importer/context.js

@@ -0,0 +1,120 @@
+import { canonicalNumber } from '../emit/index.js';
+import { Namer, Scope } from './names.js';
+export function isKept(node) {
+    return node.refusal === undefined && node.failed === undefined && node.lost === undefined;
+}
+/** The first reason a node is not kept, in the order the reasons are found. */
+export function reasonOf(node) {
+    return node.refusal ?? node.failed ?? node.lost;
+}
+export class Context {
+    namer;
+    fileScope = new Scope(undefined);
+    scope = this.fileScope;
+    /** The statement being translated. */
+    node;
+    /** Lines a statement needs evaluated before it, and whether it may have them. */
+    hoisted = [];
+    mayHoist = false;
+    /** Inside a ternary arm, where the source dialect evaluates lazily as OpenScript does. */
+    lazy = 0;
+    depth = 0;
+    /** The declaration's pyramiding, read as the source dialect reads it: 0 is 1. */
+    pyramiding = 1;
+    /**
+     * Whether the declaration sizes orders in units. The source dialect counts a
+     * quantity written on an entry in contracts whatever the declaration says,
+     * and OpenScript counts it in the declaration's own unit.
+     */
+    qtyInUnits = true;
+    titles = new Map();
+    facts;
+    constructor(facts) {
+        this.facts = facts;
+        this.namer = new Namer(facts.used);
+    }
+    span(at) {
+        return this.facts.file.spanAt(at.offset, at.length);
+    }
+    /** Records the first reason the current statement cannot be translated. */
+    refuse(diagnostic) {
+        if (this.node !== undefined && this.node.refusal === undefined)
+            this.node.refusal = diagnostic;
+    }
+    get refused() {
+        return this.node?.refusal !== undefined;
+    }
+    note(diagnostic, once) {
+        this.node?.notes.push({ diagnostic, once });
+    }
+    /** Whether declaring `name` in the current scope needs a new spelling to keep it apart. */
+    hides(name) {
+        return this.scope.find(name) !== undefined || (!this.scope.isGlobal && this.facts.globals.has(name));
+    }
+    /** The binding a source name has here, recording a read of a top level one. */
+    lookup(name, at) {
+        const found = this.scope.find(name);
+        if (found !== undefined && found.topLevel)
+            this.node?.reads.push({ name, at });
+        return found;
+    }
+    /** Enters a block scope for the length of `work`. */
+    within(work) {
+        const outer = this.scope;
+        this.scope = new Scope(outer);
+        try {
+            return work();
+        }
+        finally {
+            this.scope = outer;
+        }
+    }
+    /**
+     * Moves an expression to its own line before the current statement, and
+     * returns the name it is read under, or undefined where it cannot be moved.
+     */
+    hoist(text) {
+        if (!this.mayHoist || this.lazy > 0)
+            return undefined;
+        const name = this.namer.fresh('everyBar');
+        this.hoisted.push({ depth: this.depth, text: `${name} = ${text}` });
+        return name;
+    }
+    /** A title for a declared output that no other output of its kind has. */
+    title(kind, wanted) {
+        let seen = this.titles.get(kind);
+        if (seen === undefined) {
+            seen = new Set();
+            this.titles.set(kind, seen);
+        }
+        let title = wanted;
+        for (let n = 2; seen.has(title); n += 1)
+            title = `${wanted} ${canonicalNumber(n)}`;
+        seen.add(title);
+        return title;
+    }
+}
+const HEX = '0123456789abcdef';
+/** A string literal in OpenScript's spelling of it (`language.md` 3.6). */
+export function quoted(value) {
+    let out = '"';
+    for (const c of value) {
+        const code = c.codePointAt(0) ?? 0;
+        if (c === '"')
+            out += '\\"';
+        else if (c === '\\')
+            out += '\\\\';
+        else if (c === '\n')
+            out += '\\n';
+        else if (c === '\t')
+            out += '\\t';
+        else if (c === '\r')
+            out += '\\r';
+        else if (code < 0x20)
+            out += `\\u00${HEX[code >> 4] ?? '0'}${HEX[code & 15] ?? '0'}`;
+        else
+            out += c;
+    }
+    return `${out}"`;
+}
+//# sourceMappingURL=context.js.map

package/dist/core/importer/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/core/importer/context.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGnD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAkC1C,MAAM,UAAU,MAAM,CAAC,IAAU;IAC/B,OAAO,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAC5F,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,OAAO,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC;AAClD,CAAC;AA+BD,MAAM,OAAO,OAAO;IACT,KAAK,CAAQ;IACb,SAAS,GAAG,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;IAC1C,KAAK,GAAU,IAAI,CAAC,SAAS,CAAC;IAC9B,sCAAsC;IACtC,IAAI,CAAmB;IACvB,iFAAiF;IACjF,OAAO,GAAc,EAAE,CAAC;IACxB,QAAQ,GAAG,KAAK,CAAC;IACjB,0FAA0F;IAC1F,IAAI,GAAG,CAAC,CAAC;IACT,KAAK,GAAG,CAAC,CAAC;IACV,iFAAiF;IACjF,UAAU,GAAG,CAAC,CAAC;IACf;;;;OAIG;IACH,UAAU,GAAG,IAAI,CAAC;IACT,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IACxC,KAAK,CAAQ;IAEtB,YAAY,KAAY;QACtB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,CAAC,EAAS;QACZ,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IACtD,CAAC;IAED,2EAA2E;IAC3E,MAAM,CAAC,UAAsB;QAC3B,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,OAAO,GAAG,UAAU,CAAC;IACjG,CAAC;IAED,IAAI,OAAO;QACT,OAAO,IAAI,CAAC,IAAI,EAAE,OAAO,KAAK,SAAS,CAAC;IAC1C,CAAC;IAED,IAAI,CAAC,UAAsB,EAAE,IAAa;QACxC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9C,CAAC;IAED,2FAA2F;IAC3F,KAAK,CAAC,IAAY;QAChB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACvG,CAAC;IAED,+EAA+E;IAC/E,MAAM,CAAC,IAAY,EAAE,EAAS;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ;YAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/E,OAAO,KAAK,CAAC;IACf,CAAC;IAED,qDAAqD;IACrD,MAAM,CAAI,IAAa;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,OAAO,IAAI,EAAE,CAAC;QAChB,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACrB,CAAC;IACH,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,IAAY;QAChB,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QACtD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC1C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC;QACpE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,0EAA0E;IAC1E,KAAK,CAAC,IAAY,EAAE,MAAc;QAChC,IAAI,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;YACjB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,KAAK,GAAG,MAAM,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,KAAK,GAAG,GAAG,MAAM,IAAI,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;CACF;AAED,MAAM,GAAG,GAAG,kBAAkB,CAAC;AAE/B,2EAA2E;AAC3E,MAAM,UAAU,MAAM,CAAC,KAAa;IAClC,IAAI,GAAG,GAAG,GAAG,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,GAAG;YAAE,GAAG,IAAI,KAAK,CAAC;aACvB,IAAI,CAAC,KAAK,IAAI;YAAE,GAAG,IAAI,MAAM,CAAC;aAC9B,IAAI,CAAC,KAAK,IAAI;YAAE,GAAG,IAAI,KAAK,CAAC;aAC7B,IAAI,CAAC,KAAK,IAAI;YAAE,GAAG,IAAI,KAAK,CAAC;aAC7B,IAAI,CAAC,KAAK,IAAI;YAAE,GAAG,IAAI,KAAK,CAAC;aAC7B,IAAI,IAAI,GAAG,IAAI;YAAE,GAAG,IAAI,QAAQ,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,GAAG,GAAG,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC;;YAChF,GAAG,IAAI,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,GAAG,GAAG,GAAG,CAAC;AACnB,CAAC"}

package/dist/core/importer/expressions.d.ts

@@ -0,0 +1,44 @@
+/**
+ * Expressions in the source dialect, read by recursive descent.
+ *
+ * The precedence ladder is the source dialect's, and it is the same shape as
+ * OpenScript's (`language.md` 9.1): the ternary lowest, then `or`, `and`,
+ * equality, comparison, the additive and multiplicative operators, and the
+ * unary operators with `not` among them. So a tree read here prints back into
+ * OpenScript with parentheses only where the tree needs them, and never with a
+ * different grouping.
+ *
+ * What the reader does not accept it reports by throwing `Unreadable` with the
+ * place and a few words naming the form, and the statement reader turns that
+ * into a statement kept whole. It is the one exception in the importer, and it
+ * never leaves this module and the statement reader beside it.
+ */
+import type { Token } from './lexer.js';
+import type { Expr, Place } from './syntax.js';
+/** A form the reader does not accept, and where it starts. */
+export declare class Unreadable extends Error {
+    readonly at: Place;
+    readonly construct: string;
+    constructor(at: Place, construct: string);
+}
+/** The words the reader takes for a form it does not read, per bad token. */
+export declare function badConstruct(token: Token): string;
+export declare const UNREAD = "a statement in a form its reader does not accept";
+export declare class Cursor {
+    index: number;
+    readonly tokens: readonly Token[];
+    constructor(tokens: readonly Token[]);
+    peek(ahead?: number): Token | undefined;
+    /** Whether the next token is this operator or word. */
+    sees(text: string, ahead?: number): boolean;
+    done(): boolean;
+    take(): Token;
+    expect(text: string): Token;
+    /** Refuse at the next token, or at the end of the line when there is none. */
+    fail(): never;
+    /** Zero width, just after the last token. */
+    endPlace(): Place;
+}
+export declare function placeOf(token: Token): Place;
+export declare function expression(c: Cursor): Expr;
+//# sourceMappingURL=expressions.d.ts.map

package/dist/core/importer/expressions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../src/core/importer/expressions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC,OAAO,KAAK,EAAO,IAAI,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpD,8DAA8D;AAC9D,qBAAa,UAAW,SAAQ,KAAK;IACnC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;gBAEf,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM;CAKzC;AAUD,6EAA6E;AAC7E,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAIjD;AAED,eAAO,MAAM,MAAM,qDAAqD,CAAC;AAEzE,qBAAa,MAAM;IACjB,KAAK,SAAK;IACV,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;gBAEtB,MAAM,EAAE,SAAS,KAAK,EAAE;IAIpC,IAAI,CAAC,KAAK,SAAI,GAAG,KAAK,GAAG,SAAS;IAIlC,uDAAuD;IACvD,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,SAAI,GAAG,OAAO;IAKtC,IAAI,IAAI,OAAO;IAIf,IAAI,IAAI,KAAK;IAOb,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK;IAK3B,8EAA8E;IAC9E,IAAI,IAAI,KAAK;IAOb,6CAA6C;IAC7C,QAAQ,IAAI,KAAK;CAIlB;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,CAE3C;AAwBD,wBAAgB,UAAU,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAE1C"}

package/dist/core/importer/expressions.js

@@ -0,0 +1,223 @@
+import { joined } from './syntax.js';
+/** A form the reader does not accept, and where it starts. */
+export class Unreadable extends Error {
+    at;
+    construct;
+    constructor(at, construct) {
+        super(construct);
+        this.at = at;
+        this.construct = construct;
+    }
+}
+/** Words that open a statement form and are never a value. */
+const STATEMENT_WORDS = {
+    if: 'an if used as a value',
+    switch: 'a switch used as a value',
+    for: 'a for loop used as a value',
+    while: 'a while loop used as a value',
+};
+/** The words the reader takes for a form it does not read, per bad token. */
+export function badConstruct(token) {
+    if (token.text.startsWith('"') || token.text.startsWith("'"))
+        return 'a string that is never closed';
+    if (token.text.startsWith('#'))
+        return `the colour literal ${token.text}`;
+    return `the character ${token.text}`;
+}
+export const UNREAD = 'a statement in a form its reader does not accept';
+export class Cursor {
+    index = 0;
+    tokens;
+    constructor(tokens) {
+        this.tokens = tokens;
+    }
+    peek(ahead = 0) {
+        return this.tokens[this.index + ahead];
+    }
+    /** Whether the next token is this operator or word. */
+    sees(text, ahead = 0) {
+        const token = this.peek(ahead);
+        return token !== undefined && (token.kind === 'op' || token.kind === 'name') && token.text === text;
+    }
+    done() {
+        return this.index >= this.tokens.length;
+    }
+    take() {
+        const token = this.tokens[this.index];
+        if (token === undefined)
+            throw new Unreadable(this.endPlace(), UNREAD);
+        this.index += 1;
+        return token;
+    }
+    expect(text) {
+        if (!this.sees(text))
+            this.fail();
+        return this.take();
+    }
+    /** Refuse at the next token, or at the end of the line when there is none. */
+    fail() {
+        const token = this.peek();
+        if (token === undefined)
+            throw new Unreadable(this.endPlace(), UNREAD);
+        if (token.kind === 'bad')
+            throw new Unreadable(placeOf(token), badConstruct(token));
+        throw new Unreadable(placeOf(token), UNREAD);
+    }
+    /** Zero width, just after the last token. */
+    endPlace() {
+        const last = this.tokens[this.tokens.length - 1];
+        return last === undefined ? { offset: 0, length: 0 } : { offset: last.offset + last.length, length: 0 };
+    }
+}
+export function placeOf(token) {
+    return { offset: token.offset, length: token.length };
+}
+const COMPARISON = new Set(['<', '<=', '>', '>=']);
+const EQUALITY = new Set(['==', '!=']);
+const ADDITIVE = new Set(['+', '-']);
+const MULTIPLICATIVE = new Set(['*', '/', '%']);
+/** One left associative level of binary operators. */
+function binaryLevel(operators, next, words = false) {
+    return (c) => {
+        let left = next(c);
+        for (;;) {
+            const token = c.peek();
+            if (token === undefined || !operators.has(token.text))
+                return left;
+            if (words ? token.kind !== 'name' : token.kind !== 'op')
+                return left;
+            c.take();
+            const right = next(c);
+            left = { kind: 'binary', op: token.text, left, right, at: joined(left.at, right.at), opAt: placeOf(token) };
+        }
+    };
+}
+export function expression(c) {
+    return ternary(c);
+}
+function ternary(c) {
+    const condition = orLevel(c);
+    if (!c.sees('?'))
+        return condition;
+    c.take();
+    const then = ternary(c);
+    c.expect(':');
+    const otherwise = ternary(c);
+    return { kind: 'ternary', condition, then, otherwise, at: joined(condition.at, otherwise.at) };
+}
+function unary(c) {
+    const token = c.peek();
+    if (token !== undefined) {
+        const sign = token.kind === 'op' && (token.text === '-' || token.text === '+');
+        const not = token.kind === 'name' && token.text === 'not';
+        if (sign || not) {
+            c.take();
+            const operand = unary(c);
+            return { kind: 'unary', op: token.text, operand, at: joined(placeOf(token), operand.at) };
+        }
+    }
+    return postfix(c);
+}
+const multiplicative = binaryLevel(MULTIPLICATIVE, unary);
+const additive = binaryLevel(ADDITIVE, multiplicative);
+const comparison = binaryLevel(COMPARISON, additive);
+const equality = binaryLevel(EQUALITY, comparison);
+const andLevel = binaryLevel(new Set(['and']), equality, true);
+const orLevel = binaryLevel(new Set(['or']), andLevel, true);
+function argumentsOf(c) {
+    const args = [];
+    if (c.sees(')'))
+        return args;
+    for (;;) {
+        const first = c.peek();
+        let label;
+        if (first !== undefined && first.kind === 'name' && c.sees('=', 1)) {
+            label = first.text;
+            c.take();
+            c.take();
+        }
+        const value = expression(c);
+        args.push({ label, value, at: first === undefined ? value.at : joined(placeOf(first), value.at) });
+        if (!c.sees(','))
+            return args;
+        c.take();
+    }
+}
+function postfix(c) {
+    let expr = primary(c);
+    for (;;) {
+        if (c.sees('(')) {
+            c.take();
+            const args = argumentsOf(c);
+            const close = c.expect(')');
+            expr = { kind: 'call', callee: expr, args, at: joined(expr.at, placeOf(close)) };
+        }
+        else if (c.sees('[')) {
+            c.take();
+            const index = expression(c);
+            const close = c.expect(']');
+            expr = { kind: 'index', target: expr, index, at: joined(expr.at, placeOf(close)) };
+        }
+        else if (c.sees('.')) {
+            c.take();
+            const property = c.take();
+            if (property.kind !== 'name')
+                throw new Unreadable(placeOf(property), UNREAD);
+            expr = { kind: 'member', object: expr, property: property.text, at: joined(expr.at, placeOf(property)) };
+        }
+        else {
+            return expr;
+        }
+    }
+}
+function primary(c) {
+    const token = c.peek();
+    if (token === undefined)
+        c.fail();
+    const at = placeOf(token);
+    switch (token.kind) {
+        case 'number':
+            c.take();
+            return { kind: 'number', text: token.text, at };
+        case 'string':
+            c.take();
+            return { kind: 'string', value: token.value, at };
+        case 'color':
+            c.take();
+            return { kind: 'color', text: token.text, at };
+        case 'bad':
+            throw new Unreadable(at, badConstruct(token));
+        case 'name': {
+            const word = STATEMENT_WORDS[token.text];
+            if (word !== undefined)
+                throw new Unreadable(at, word);
+            c.take();
+            if (token.text === 'true' || token.text === 'false') {
+                return { kind: 'bool', value: token.text === 'true', at };
+            }
+            return { kind: 'name', name: token.text, at };
+        }
+        case 'op':
+            break;
+    }
+    if (token.text === '(') {
+        c.take();
+        const inner = expression(c);
+        const close = c.expect(')');
+        return { kind: 'group', inner, at: joined(at, placeOf(close)) };
+    }
+    if (token.text === '[') {
+        c.take();
+        const items = [];
+        while (!c.sees(']')) {
+            items.push(expression(c));
+            if (!c.sees(','))
+                break;
+            c.take();
+        }
+        const close = c.expect(']');
+        return { kind: 'list', items, at: joined(at, placeOf(close)) };
+    }
+    return c.fail();
+}
+//# sourceMappingURL=expressions.js.map

package/dist/core/importer/expressions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../src/core/importer/expressions.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAGrC,8DAA8D;AAC9D,MAAM,OAAO,UAAW,SAAQ,KAAK;IAC1B,EAAE,CAAQ;IACV,SAAS,CAAS;IAE3B,YAAY,EAAS,EAAE,SAAiB;QACtC,KAAK,CAAC,SAAS,CAAC,CAAC;QACjB,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;IAC7B,CAAC;CACF;AAED,8DAA8D;AAC9D,MAAM,eAAe,GAAqC;IACxD,EAAE,EAAE,uBAAuB;IAC3B,MAAM,EAAE,0BAA0B;IAClC,GAAG,EAAE,4BAA4B;IACjC,KAAK,EAAE,8BAA8B;CACtC,CAAC;AAEF,6EAA6E;AAC7E,MAAM,UAAU,YAAY,CAAC,KAAY;IACvC,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,+BAA+B,CAAC;IACrG,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,sBAAsB,KAAK,CAAC,IAAI,EAAE,CAAC;IAC1E,OAAO,iBAAiB,KAAK,CAAC,IAAI,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,kDAAkD,CAAC;AAEzE,MAAM,OAAO,MAAM;IACjB,KAAK,GAAG,CAAC,CAAC;IACD,MAAM,CAAmB;IAElC,YAAY,MAAwB;QAClC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,IAAI,CAAC,KAAK,GAAG,CAAC;QACZ,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC;IACzC,CAAC;IAED,uDAAuD;IACvD,IAAI,CAAC,IAAY,EAAE,KAAK,GAAG,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;IACtG,CAAC;IAED,IAAI;QACF,OAAO,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,CAAC;IAED,IAAI;QACF,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,MAAM,CAAC,CAAC;QACvE,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,IAAY;QACjB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;IACrB,CAAC;IAED,8EAA8E;IAC9E,IAAI;QACF,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,MAAM,CAAC,CAAC;QACvE,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;YAAE,MAAM,IAAI,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;QACpF,MAAM,IAAI,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;IAC/C,CAAC;IAED,6CAA6C;IAC7C,QAAQ;QACN,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAC1G,CAAC;CACF;AAED,MAAM,UAAU,OAAO,CAAC,KAAY;IAClC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AACnD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AACrC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAIhD,sDAAsD;AACtD,SAAS,WAAW,CAAC,SAA8B,EAAE,IAAW,EAAE,KAAK,GAAG,KAAK;IAC7E,OAAO,CAAC,CAAC,EAAE,EAAE;QACX,IAAI,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,SAAS,CAAC;YACR,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YACvB,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACnE,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACrE,CAAC,CAAC,IAAI,EAAE,CAAC;YACT,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9G,CAAC;IACH,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,CAAS;IAClC,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,OAAO,CAAC,CAAS;IACxB,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACnC,CAAC,CAAC,IAAI,EAAE,CAAC;IACT,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACd,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;AACjG,CAAC;AAED,SAAS,KAAK,CAAC,CAAS;IACtB,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QAC/E,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC;QAC1D,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;YAChB,CAAC,CAAC,IAAI,EAAE,CAAC;YACT,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;QAC5F,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC;AAED,MAAM,cAAc,GAAG,WAAW,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;AAC1D,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;AACvD,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;AACrD,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AACnD,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;AAC/D,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;AAE7D,SAAS,WAAW,CAAC,CAAS;IAC5B,MAAM,IAAI,GAAU,EAAE,CAAC;IACvB,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7B,SAAS,CAAC;QACR,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACvB,IAAI,KAAyB,CAAC;QAC9B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;YACnE,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC;YACnB,CAAC,CAAC,IAAI,EAAE,CAAC;YACT,CAAC,CAAC,IAAI,EAAE,CAAC;QACX,CAAC;QACD,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACnG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9B,CAAC,CAAC,IAAI,EAAE,CAAC;IACX,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,CAAS;IACxB,IAAI,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACtB,SAAS,CAAC;QACR,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAChB,CAAC,CAAC,IAAI,EAAE,CAAC;YACT,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACnF,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,CAAC,CAAC,IAAI,EAAE,CAAC;YACT,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACrF,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,CAAC,CAAC,IAAI,EAAE,CAAC;YACT,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YAC1B,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;gBAAE,MAAM,IAAI,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;YAC9E,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC3G,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,CAAS;IACxB,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,KAAK,KAAK,SAAS;QAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAClC,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACX,CAAC,CAAC,IAAI,EAAE,CAAC;YACT,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC;QAClD,KAAK,QAAQ;YACX,CAAC,CAAC,IAAI,EAAE,CAAC;YACT,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC;QACpD,KAAK,OAAO;YACV,CAAC,CAAC,IAAI,EAAE,CAAC;YACT,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC;QACjD,KAAK,KAAK;YACR,MAAM,IAAI,UAAU,CAAC,EAAE,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;QAChD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,IAAI,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACvD,CAAC,CAAC,IAAI,EAAE,CAAC;YACT,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACpD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,EAAE,EAAE,CAAC;YAC5D,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC;QAChD,CAAC;QACD,KAAK,IAAI;YACP,MAAM;IACV,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;QACvB,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;IAClE,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;QACvB,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,MAAM,KAAK,GAAW,EAAE,CAAC;QACzB,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;gBAAE,MAAM;YACxB,CAAC,CAAC,IAAI,EAAE,CAAC;QACX,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;IACjE,CAAC;IACD,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;AAClB,CAAC"}

package/dist/core/importer/importer.d.ts

@@ -0,0 +1,13 @@
+import type { Diagnostic } from '../diagnostics/index.js';
+export interface ImportResult {
+    /** The OpenScript text, or the empty string where nothing could be translated. */
+    readonly source: string;
+    /** Every finding, positioned in the imported text, in the order a reader walks it. */
+    readonly findings: readonly Diagnostic[];
+}
+export interface ImportOptions {
+    /** What the imported text is called, for the first line of a rendered finding. */
+    readonly name?: string;
+}
+export declare function importScript(text: string, options?: ImportOptions): ImportResult;
+//# sourceMappingURL=importer.d.ts.map

package/dist/core/importer/importer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"importer.d.ts","sourceRoot":"","sources":["../../../src/core/importer/importer.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAgB1D,MAAM,WAAW,YAAY;IAC3B,kFAAkF;IAClF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,sFAAsF;IACtF,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,aAAa;IAC5B,kFAAkF;IAClF,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AA2GD,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,aAAkB,GAAG,YAAY,CA4EpF"}