openalgo-script 0.1.0-alpha.0

package/dist/core/lex/layout.d.ts

@@ -0,0 +1,40 @@
+import type { DiagnosticSink } from '../diagnostics/index.js';
+import type { SourceFile } from '../source/index.js';
+import type { Token, TokenKind } from '../tokens/index.js';
+/**
+ * What the shape of a file means: where a statement begins, where a block opens
+ * and closes, and what a line's leading whitespace is worth.
+ *
+ * It is a separate thing from the scanner because it works in lines and
+ * statements where the scanner works in characters, and because it is where the
+ * two rules that a naive lexer gets wrong live: a line that carries no token is
+ * never asked about its indentation, and a line indented past its siblings is
+ * one error rather than a new block.
+ *
+ * It writes the layout tokens straight into the list the scanner is filling, so
+ * an indent lands in front of the token that opened the block rather than being
+ * threaded back in afterwards.
+ */
+export declare class Layout {
+    #private;
+    constructor(file: SourceFile, sink: DiagnosticSink, tokens: Token[]);
+    /** Holds a line's leading whitespace, which may turn out to mean nothing at all. */
+    beginLine(line: number, offset: number, width: number, text: string, hasTab: boolean): void;
+    /** The line is over. Whatever it was holding was never wanted. */
+    endLine(): void;
+    /**
+     * Turns the leading whitespace into block structure, at the moment the line
+     * turns out to carry a token and not before. A line that produces no token
+     * never reaches here, which is the whole of the rule that a blank line and a
+     * comment-only line carry no indentation at all (3.10).
+     */
+    admit(continuing: boolean): void;
+    /** The first token of a statement decides whether a block may open under it. */
+    observe(kind: TokenKind): void;
+    endStatement(): void;
+    /** A second statement beginning on a line that already held one, after a `;`. */
+    beginStatement(line: number, indent: number): void;
+    /** The end of the file closes every block still open. */
+    closeBlocks(at: number): void;
+}
+//# sourceMappingURL=layout.d.ts.map

package/dist/core/lex/layout.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"layout.d.ts","sourceRoot":"","sources":["../../../src/core/lex/layout.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AA2B3D;;;;;;;;;;;;;GAaG;AACH,qBAAa,MAAM;;gBAUL,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE;IAMnE,oFAAoF;IACpF,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,GAAG,IAAI;IAI3F,kEAAkE;IAClE,OAAO,IAAI,IAAI;IAIf;;;;;OAKG;IACH,KAAK,CAAC,UAAU,EAAE,OAAO,GAAG,IAAI;IAsEhC,gFAAgF;IAChF,OAAO,CAAC,IAAI,EAAE,SAAS,GAAG,IAAI;IAK9B,YAAY,IAAI,IAAI;IAWpB,iFAAiF;IACjF,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAIlD,yDAAyD;IACzD,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;CAkB9B"}

package/dist/core/lex/layout.js

@@ -0,0 +1,143 @@
+import { BlockStack } from './blocks.js';
+import { endsWithArrow, opensBlock } from './statements.js';
+/**
+ * What the shape of a file means: where a statement begins, where a block opens
+ * and closes, and what a line's leading whitespace is worth.
+ *
+ * It is a separate thing from the scanner because it works in lines and
+ * statements where the scanner works in characters, and because it is where the
+ * two rules that a naive lexer gets wrong live: a line that carries no token is
+ * never asked about its indentation, and a line indented past its siblings is
+ * one error rather than a new block.
+ *
+ * It writes the layout tokens straight into the list the scanner is filling, so
+ * an indent lands in front of the token that opened the block rather than being
+ * threaded back in afterwards.
+ */
+export class Layout {
+    #file;
+    #sink;
+    #tokens;
+    #blocks = new BlockStack();
+    #pending;
+    #statement;
+    #previous;
+    constructor(file, sink, tokens) {
+        this.#file = file;
+        this.#sink = sink;
+        this.#tokens = tokens;
+    }
+    /** Holds a line's leading whitespace, which may turn out to mean nothing at all. */
+    beginLine(line, offset, width, text, hasTab) {
+        this.#pending = { line, offset, width, text, hasTab };
+    }
+    /** The line is over. Whatever it was holding was never wanted. */
+    endLine() {
+        this.#pending = undefined;
+    }
+    /**
+     * Turns the leading whitespace into block structure, at the moment the line
+     * turns out to carry a token and not before. A line that produces no token
+     * never reaches here, which is the whole of the rule that a blank line and a
+     * comment-only line carry no indentation at all (3.10).
+     */
+    admit(continuing) {
+        const pending = this.#pending;
+        if (pending === undefined)
+            return;
+        this.#pending = undefined;
+        if (pending.hasTab) {
+            this.#sink.report('OS1002', this.#span(pending.offset, pending.width), {});
+        }
+        if (continuing) {
+            this.#checkContinuation(pending);
+            return;
+        }
+        this.#enterBlock(pending);
+        this.#statement = { line: pending.line, indent: pending.width, firstKind: undefined };
+    }
+    /**
+     * A continuation line belongs to a statement that began above it, so it opens
+     * and closes nothing. It only has to sit further right than the line that
+     * began the statement, so that it can never be read as a new one (3.11).
+     *
+     * That is OS1028 rather than the block rule of OS1003, and the difference is
+     * not a formality: there is no block here, so OS1003's message would name an
+     * indentation no line carries and its fix would offer to end a block the file
+     * never opened.
+     */
+    #checkContinuation(pending) {
+        const statement = this.#statement;
+        if (statement === undefined || pending.width > statement.indent)
+            return;
+        this.#sink.report('OS1028', this.#span(pending.offset, pending.width), {
+            found: pending.width,
+            statement: statement.indent,
+            line: statement.line,
+        });
+    }
+    #enterBlock(pending) {
+        const firstToken = pending.offset + pending.width;
+        const event = this.#blocks.enter(pending.width, this.#afterHeader(), this.#previous?.line ?? pending.line);
+        switch (event.kind) {
+            case 'same':
+                break;
+            case 'open':
+                this.#tokens.push({
+                    kind: 'indent',
+                    span: this.#span(pending.offset, pending.width),
+                    text: pending.text,
+                });
+                break;
+            case 'close':
+                this.#dedent(event.count, firstToken);
+                break;
+            case 'mismatch':
+                this.#dedent(event.count, firstToken);
+                this.#sink.report('OS1003', this.#span(pending.offset, pending.width), {
+                    found: pending.width,
+                    expected: event.expected,
+                    line: event.openerLine,
+                });
+                break;
+        }
+    }
+    /** The first token of a statement decides whether a block may open under it. */
+    observe(kind) {
+        const statement = this.#statement;
+        if (statement !== undefined && statement.firstKind === undefined)
+            statement.firstKind = kind;
+    }
+    endStatement() {
+        const statement = this.#statement;
+        this.#statement = undefined;
+        if (statement === undefined || statement.firstKind === undefined)
+            return;
+        this.#previous = {
+            line: statement.line,
+            firstKind: statement.firstKind,
+            arrowAtEnd: endsWithArrow(this.#tokens),
+        };
+    }
+    /** A second statement beginning on a line that already held one, after a `;`. */
+    beginStatement(line, indent) {
+        this.#statement = { line, indent, firstKind: undefined };
+    }
+    /** The end of the file closes every block still open. */
+    closeBlocks(at) {
+        this.#dedent(this.#blocks.closeAll(), at);
+    }
+    #dedent(count, at) {
+        for (let i = 0; i < count; i++) {
+            this.#tokens.push({ kind: 'dedent', span: this.#span(at, 0), text: '' });
+        }
+    }
+    #afterHeader() {
+        const previous = this.#previous;
+        return previous !== undefined && opensBlock(previous.firstKind, previous.arrowAtEnd);
+    }
+    #span(offset, length) {
+        return this.#file.spanAt(offset, length);
+    }
+}
+//# sourceMappingURL=layout.js.map

package/dist/core/lex/layout.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"layout.js","sourceRoot":"","sources":["../../../src/core/lex/layout.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAyB5D;;;;;;;;;;;;;GAaG;AACH,MAAM,OAAO,MAAM;IACR,KAAK,CAAa;IAClB,KAAK,CAAiB;IACtB,OAAO,CAAU;IACjB,OAAO,GAAG,IAAI,UAAU,EAAE,CAAC;IAEpC,QAAQ,CAA0B;IAClC,UAAU,CAA4B;IACtC,SAAS,CAA8B;IAEvC,YAAY,IAAgB,EAAE,IAAoB,EAAE,MAAe;QACjE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;IACxB,CAAC;IAED,oFAAoF;IACpF,SAAS,CAAC,IAAY,EAAE,MAAc,EAAE,KAAa,EAAE,IAAY,EAAE,MAAe;QAClF,IAAI,CAAC,QAAQ,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACxD,CAAC;IAED,kEAAkE;IAClE,OAAO;QACL,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;IAC5B,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,UAAmB;QACvB,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO;QAClC,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;QAE1B,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACnB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7E,CAAC;QAED,IAAI,UAAU,EAAE,CAAC;YACf,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;YACjC,OAAO;QACT,CAAC;QAED,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAC1B,IAAI,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;IACxF,CAAC;IAED;;;;;;;;;OASG;IACH,kBAAkB,CAAC,OAAoB;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC;QAClC,IAAI,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,GAAG,SAAS,CAAC,MAAM;YAAE,OAAO;QACxE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE;YACrE,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,SAAS,EAAE,SAAS,CAAC,MAAM;YAC3B,IAAI,EAAE,SAAS,CAAC,IAAI;SACrB,CAAC,CAAC;IACL,CAAC;IAED,WAAW,CAAC,OAAoB;QAC9B,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;QAClD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAC9B,OAAO,CAAC,KAAK,EACb,IAAI,CAAC,YAAY,EAAE,EACnB,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,OAAO,CAAC,IAAI,CACrC,CAAC;QAEF,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,MAAM;gBACT,MAAM;YACR,KAAK,MAAM;gBACT,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;oBAChB,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC;oBAC/C,IAAI,EAAE,OAAO,CAAC,IAAI;iBACnB,CAAC,CAAC;gBACH,MAAM;YACR,KAAK,OAAO;gBACV,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;gBACtC,MAAM;YACR,KAAK,UAAU;gBACb,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;gBACtC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE;oBACrE,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;oBACxB,IAAI,EAAE,KAAK,CAAC,UAAU;iBACvB,CAAC,CAAC;gBACH,MAAM;QACV,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,OAAO,CAAC,IAAe;QACrB,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC;QAClC,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,SAAS,KAAK,SAAS;YAAE,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC;IAC/F,CAAC;IAED,YAAY;QACV,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC;QAClC,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;QAC5B,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,SAAS,KAAK,SAAS;YAAE,OAAO;QACzE,IAAI,CAAC,SAAS,GAAG;YACf,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC;SACxC,CAAC;IACJ,CAAC;IAED,iFAAiF;IACjF,cAAc,CAAC,IAAY,EAAE,MAAc;QACzC,IAAI,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;IAC3D,CAAC;IAED,yDAAyD;IACzD,WAAW,CAAC,EAAU;QACpB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO,CAAC,KAAa,EAAE,EAAU;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IAED,YAAY;QACV,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC;QAChC,OAAO,QAAQ,KAAK,SAAS,IAAI,UAAU,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;IACvF,CAAC;IAED,KAAK,CAAC,MAAc,EAAE,MAAc;QAClC,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,CAAC;CACF"}

package/dist/core/lex/lexer.d.ts

@@ -0,0 +1,13 @@
+import type { DiagnosticSink } from '../diagnostics/index.js';
+import type { SourceFile } from '../source/index.js';
+import type { Token } from '../tokens/index.js';
+/**
+ * Reads a file into tokens, reporting what it cannot read and carrying on.
+ *
+ * Nothing here throws. One character the language does not have should cost the
+ * reader that character and not the rest of the file, so every lexical error is
+ * reported against its own span and the scan resumes at the next thing it can
+ * recognise.
+ */
+export declare function lex(file: SourceFile, diagnostics: DiagnosticSink): readonly Token[];
+//# sourceMappingURL=lexer.d.ts.map

package/dist/core/lex/lexer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.d.ts","sourceRoot":"","sources":["../../../src/core/lex/lexer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,OAAO,KAAK,EAA4B,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAwd1E;;;;;;;GAOG;AACH,wBAAgB,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,cAAc,GAAG,SAAS,KAAK,EAAE,CAEnF"}

package/dist/core/lex/lexer.js

@@ -0,0 +1,419 @@
+import { PUNCTUATORS, RESERVED_WORDS } from '../tokens/index.js';
+import { APOSTROPHE, BACKSLASH, DOT, HASH, isBlank, isDigit, isNamePart, isNameStart, LINE_FEED, QUOTE, SEMICOLON, SLASH, SPACE, TAB, } from './characters.js';
+import { closesComment, commentRegion, hasCloser, opensComment } from './comments.js';
+import { Layout } from './layout.js';
+import { scanNumber } from './numbers.js';
+import { continuesLine } from './statements.js';
+import { scanString } from './strings.js';
+import { describeUnexpected, isNonAsciiLetter } from './unexpected.js';
+const RESERVED = new Set(RESERVED_WORDS);
+const ONE_CHARACTER = new Set(PUNCTUATORS.filter((mark) => mark.length === 1));
+const TWO_CHARACTER = new Set(PUNCTUATORS.filter((mark) => mark.length === 2));
+/**
+ * The two character operators of other languages, which this one does not have
+ * (3.12). They are matched as a pair so that the message names the operator the
+ * reader wrote and offers the one to write instead, rather than reporting one
+ * ampersand and leaving them to work out which half was wrong.
+ */
+const REJECTED_PAIRS = new Set(['&&', '||', '**', '++']);
+const OPENING_BRACKETS = new Set(['(', '[']);
+const CLOSING_BRACKETS = new Set([')', ']']);
+const HEX_ONLY = /^[0-9a-fA-F]+$/;
+class Lexer {
+    #file;
+    #text;
+    #sink;
+    #tokens = [];
+    #layout;
+    #offset = 0;
+    #line = 1;
+    #indent = 0;
+    #brackets = 0;
+    #continuing = false;
+    #lineHasToken = false;
+    #droppedAfterToken = false;
+    /** Whether a block comment marker opened a region that no closer has ended yet. */
+    #inComment = false;
+    constructor(file, sink) {
+        this.#file = file;
+        this.#text = file.text;
+        this.#sink = sink;
+        this.#layout = new Layout(file, sink, this.#tokens);
+    }
+    run() {
+        while (this.#offset < this.#text.length)
+            this.#readLine();
+        this.#finish();
+        return this.#tokens;
+    }
+    // -------------------------------------------------------------------------
+    // Lines
+    // -------------------------------------------------------------------------
+    #readLine() {
+        const start = this.#offset;
+        let i = start;
+        // A tab is one character of indentation here, and OS1002 as soon as the line
+        // turns out to carry a token. It is counted rather than expanded because the
+        // report is what matters and a width would be a guess at an editor setting.
+        let hasTab = false;
+        while (isBlank(this.#text.charCodeAt(i))) {
+            if (this.#text.charCodeAt(i) === TAB)
+                hasTab = true;
+            i++;
+        }
+        this.#indent = i - start;
+        this.#layout.beginLine(this.#line, start, this.#indent, this.#text.slice(start, i), hasTab);
+        this.#offset = i;
+        this.#lineHasToken = false;
+        this.#droppedAfterToken = false;
+        if (this.#inComment)
+            this.#skipComment(this.#offset);
+        let backslash = false;
+        while (this.#offset < this.#text.length) {
+            const code = this.#text.charCodeAt(this.#offset);
+            if (code === LINE_FEED)
+                break;
+            if (code === SPACE) {
+                this.#offset++;
+                continue;
+            }
+            if (code === SLASH && this.#text.charCodeAt(this.#offset + 1) === SLASH) {
+                // A comment produces no token, which is what lets a commented out line
+                // sit at column zero inside a block without closing it (3.10).
+                this.#offset = this.#endOfLine(this.#offset);
+                break;
+            }
+            if (opensComment(this.#text, this.#offset)) {
+                this.#openComment();
+                continue;
+            }
+            if (closesComment(this.#text, this.#offset)) {
+                // A closer with nothing open. The region it was meant to end was never
+                // read as one, so the marker is reported where it sits and read as
+                // nothing at all.
+                this.#sink.report('OS1026', this.#span(this.#offset, 2), { marker: '*/' });
+                this.#offset += 2;
+                continue;
+            }
+            if (code === BACKSLASH && this.#isBlankTo(this.#offset + 1)) {
+                backslash = true;
+                this.#offset = this.#endOfLine(this.#offset);
+                break;
+            }
+            this.#readToken();
+        }
+        this.#endLine(backslash);
+    }
+    #endLine(backslash) {
+        // A line carrying no token says nothing about the statement around it, so a
+        // blank line and a comment-only line inside a continuation leave it open
+        // (3.11) by never being asked.
+        if (this.#lineHasToken || backslash) {
+            // A trailing operator whose operand was rejected promised nothing: the
+            // operand was written, it was just not written in this language. Letting
+            // it continue would hand the next line to a broken statement, and one bad
+            // character would take a line that has nothing wrong with it.
+            const promised = !this.#droppedAfterToken && continuesLine(this.#tokens);
+            this.#continuing = this.#brackets > 0 || backslash || promised;
+        }
+        if (this.#lineHasToken && !this.#continuing) {
+            this.#layout.endStatement();
+            const atEnd = this.#offset >= this.#text.length;
+            this.#emitNewline(this.#span(this.#offset, atEnd ? 0 : 1));
+        }
+        if (this.#offset < this.#text.length) {
+            this.#offset++;
+            this.#line++;
+        }
+        this.#layout.endLine();
+    }
+    #finish() {
+        const last = this.#tokens[this.#tokens.length - 1];
+        if (last !== undefined && last.kind !== 'newline') {
+            // A bracket that is never closed reads the rest of the file as one
+            // statement (3.11), and that statement still has to end somewhere for the
+            // parser to report it against.
+            this.#layout.endStatement();
+            this.#emitNewline(this.#span(this.#text.length, 0));
+        }
+        this.#layout.closeBlocks(this.#text.length);
+        this.#tokens.push({ kind: 'endOfFile', span: this.#span(this.#text.length, 0), text: '' });
+    }
+    /**
+     * A region the writer meant as a comment, from its opener to its closer.
+     *
+     * It is reported once, at the opener, and then skipped. Reading the prose
+     * inside it as tokens would report the operators it happens to contain and
+     * the statements it appears to hold, which is several diagnostics about a
+     * program the writer did not write, and none of them would name the comment
+     * (3.2).
+     */
+    #openComment() {
+        this.#sink.report('OS1026', this.#span(this.#offset, 2), { marker: '/*' });
+        this.#skipComment(this.#offset + 2);
+        // A closer written nowhere makes no region: the marker costs this line and
+        // the file is read on from the next one, rather than being swallowed whole
+        // by a form the language does not have (3.2).
+        this.#inComment = this.#inComment && hasCloser(this.#text, this.#offset);
+    }
+    /**
+     * The region, to its closer or to the end of the line, said once and then
+     * skipped: one region is one mistake however many lines it runs to, so a
+     * line below the opener is read as prose rather than reported again.
+     */
+    #skipComment(from) {
+        const region = commentRegion(this.#text, from);
+        this.#inComment = region.open;
+        this.#offset = region.end;
+    }
+    #endOfLine(from) {
+        const at = this.#text.indexOf('\n', from);
+        return at === -1 ? this.#text.length : at;
+    }
+    #isBlankTo(from) {
+        for (let i = from; i < this.#text.length; i++) {
+            const code = this.#text.charCodeAt(i);
+            if (code === LINE_FEED)
+                return true;
+            if (!isBlank(code))
+                return false;
+        }
+        return true;
+    }
+    // -------------------------------------------------------------------------
+    // Tokens
+    // -------------------------------------------------------------------------
+    #readToken() {
+        const start = this.#offset;
+        const code = this.#text.charCodeAt(start);
+        if (isNameStart(code)) {
+            this.#readName(start);
+            return;
+        }
+        if (isDigit(code) || (code === DOT && isDigit(this.#text.charCodeAt(start + 1)))) {
+            this.#readNumber(start);
+            return;
+        }
+        if (code === QUOTE || code === APOSTROPHE) {
+            this.#readString(start);
+            return;
+        }
+        if (code === HASH) {
+            this.#readColour(start);
+            return;
+        }
+        if (code === SEMICOLON) {
+            this.#readSemicolon(start);
+            return;
+        }
+        this.#readPunctuation(start);
+    }
+    /**
+     * A name, and with it every reserved word, which is spelled like one and told
+     * apart by the table rather than by the scanner.
+     *
+     * A reserved word keeps its own kind here even where the parser will accept it
+     * as a named argument label (3.4). The lexer cannot make that call: the same
+     * word before an `=` is a legal label inside a call and is OS1019 inside a
+     * parameter list, and only the parser knows which of the two it is reading.
+     */
+    #readName(start) {
+        const word = this.#word(start);
+        if (word.foreign !== undefined) {
+            // Identifiers are ASCII (3.3). The whole word is taken as one name so that
+            // the statement around it still parses and one bad character reports once.
+            this.#sink.report('OS1001', this.#span(word.foreign.offset, word.foreign.written.length), describeUnexpected(word.foreign.written));
+        }
+        const text = this.#text.slice(start, word.end);
+        const kind = RESERVED.has(text) ? text : 'identifier';
+        this.#emit({ kind, span: this.#span(start, word.end - start), text });
+        this.#offset = word.end;
+    }
+    /**
+     * A number literal, and the run that is not one: a base prefix the language
+     * does not have, a unit written against a quantity, a literal that ends in an
+     * underscore (3.5).
+     *
+     * Such a run is reported whole, as OS1029. Every character in it is one the
+     * language accepts, so naming the leading digit would name something legal,
+     * and deleting it, which is what OS1001 tells a reader to do with the
+     * character it names, leaves a valid name behind and a program that compiles
+     * and means something else.
+     */
+    #readNumber(start) {
+        const literal = scanNumber(this.#text, start);
+        const after = this.#text.codePointAt(literal.end);
+        if (after !== undefined && (isNamePart(after) || isNonAsciiLetter(after))) {
+            // A name cannot begin with a digit (3.3), and a letter written against a
+            // number is that mistake rather than two tokens that happen to touch.
+            const word = this.#word(literal.end);
+            const written = this.#text.slice(start, word.end);
+            this.#sink.report('OS1029', this.#span(start, word.end - start), {
+                written,
+                number: this.#text.slice(start, literal.end),
+            });
+            this.#emit({
+                kind: 'identifier',
+                span: this.#span(start, word.end - start),
+                text: written,
+            });
+            this.#offset = word.end;
+            return;
+        }
+        this.#emit({
+            kind: 'numberLiteral',
+            span: this.#span(start, literal.end - start),
+            text: this.#text.slice(start, literal.end),
+            value: literal.value,
+        });
+        this.#offset = literal.end;
+    }
+    #readString(start) {
+        const literal = scanString(this.#text, start);
+        for (const bad of literal.badEscapes) {
+            this.#sink.report('OS1005', this.#span(bad.offset, bad.length), { sequence: bad.text });
+        }
+        if (literal.unterminated) {
+            this.#sink.report('OS1004', this.#span(start, 1), { quote: this.#text.charAt(start) });
+        }
+        // The token is emitted either way. The reader is told once that the quote is
+        // missing; they do not also need to be told that the statement around it
+        // makes no sense without it.
+        this.#emit({
+            kind: 'stringLiteral',
+            span: this.#span(start, literal.end - start),
+            text: this.#text.slice(start, literal.end),
+            value: literal.value,
+        });
+        this.#offset = literal.end;
+    }
+    /**
+     * `#rrggbb` and `#rrggbbaa` (3.8).
+     *
+     * A run of the wrong length, or one carrying a character that is not a
+     * hexadecimal digit, is a colour the writer had nearly right, and it is
+     * OS1027 over the whole of what they wrote. The OS1001 sentence about `#`
+     * says to delete the character or to put the text in a string, which is the
+     * answer for a `#` standing on its own and would throw the colour away here.
+     */
+    #readColour(start) {
+        const word = this.#word(start + 1);
+        const digits = this.#text.slice(start + 1, word.end);
+        const isColour = word.foreign === undefined &&
+            (digits.length === 6 || digits.length === 8) &&
+            HEX_ONLY.test(digits);
+        if (isColour) {
+            this.#emit({
+                kind: 'hexColor',
+                span: this.#span(start, word.end - start),
+                text: this.#text.slice(start, word.end),
+            });
+            this.#offset = word.end;
+            return;
+        }
+        if (digits.length === 0) {
+            // Nothing was written against it, so there is no colour here to have got
+            // wrong: this is the character on its own (3.1).
+            this.#sink.report('OS1001', this.#span(start, 1), describeUnexpected('#'));
+            this.#droppedAfterToken = true;
+            this.#offset = start + 1;
+            return;
+        }
+        this.#sink.report('OS1027', this.#span(start, word.end - start), {
+            written: this.#text.slice(start, word.end),
+        });
+        this.#droppedAfterToken = true;
+        this.#offset = word.end;
+    }
+    #readSemicolon(start) {
+        this.#sink.report('OS1007', this.#span(start, 1), {});
+        this.#droppedAfterToken = true;
+        this.#offset = start + 1;
+        // The fix is to put the second statement on its own line, so the token
+        // stream is given exactly that and the rest of the line is read as the
+        // statement the writer meant. Inside brackets there is no statement to end,
+        // so there the character is only dropped.
+        if (this.#brackets > 0 || !this.#lineHasToken)
+            return;
+        this.#layout.endStatement();
+        this.#emitNewline(this.#span(start, 1));
+        this.#layout.beginStatement(this.#line, this.#indent);
+    }
+    #readPunctuation(start) {
+        const pair = this.#text.slice(start, start + 2);
+        if (REJECTED_PAIRS.has(pair)) {
+            this.#sink.report('OS1001', this.#span(start, 2), describeUnexpected(pair));
+            this.#droppedAfterToken = true;
+            this.#offset = start + 2;
+            return;
+        }
+        if (TWO_CHARACTER.has(pair)) {
+            this.#emit({ kind: pair, span: this.#span(start, 2), text: pair });
+            this.#offset = start + 2;
+            return;
+        }
+        const one = this.#text.charAt(start);
+        if (ONE_CHARACTER.has(one)) {
+            if (OPENING_BRACKETS.has(one))
+                this.#brackets++;
+            else if (CLOSING_BRACKETS.has(one) && this.#brackets > 0)
+                this.#brackets--;
+            this.#emit({ kind: one, span: this.#span(start, 1), text: one });
+            this.#offset = start + 1;
+            return;
+        }
+        // Everything the language does not have, reported where it sits rather than
+        // three tokens later (3.1). An astral character is two code units and is
+        // taken whole, so a message never quotes half of one.
+        const written = String.fromCodePoint(this.#text.codePointAt(start) ?? 0);
+        this.#sink.report('OS1001', this.#span(start, written.length), describeUnexpected(written));
+        this.#droppedAfterToken = true;
+        this.#offset = start + written.length;
+    }
+    #word(from) {
+        let i = from;
+        let foreign;
+        for (;;) {
+            while (isNamePart(this.#text.charCodeAt(i)))
+                i++;
+            const point = this.#text.codePointAt(i);
+            if (point === undefined || !isNonAsciiLetter(point))
+                return { end: i, foreign };
+            const written = String.fromCodePoint(point);
+            foreign ??= { offset: i, written };
+            i += written.length;
+        }
+    }
+    // -------------------------------------------------------------------------
+    // Emitting
+    // -------------------------------------------------------------------------
+    #emit(token) {
+        this.#layout.admit(this.#continuing);
+        this.#layout.observe(token.kind);
+        this.#lineHasToken = true;
+        this.#droppedAfterToken = false;
+        this.#tokens.push(token);
+    }
+    /** One newline per statement, never two, and never one before a statement has begun. */
+    #emitNewline(span) {
+        const last = this.#tokens[this.#tokens.length - 1];
+        if (last === undefined || last.kind === 'newline')
+            return;
+        this.#tokens.push({ kind: 'newline', span, text: '' });
+    }
+    #span(offset, length) {
+        return this.#file.spanAt(offset, length);
+    }
+}
+/**
+ * Reads a file into tokens, reporting what it cannot read and carrying on.
+ *
+ * Nothing here throws. One character the language does not have should cost the
+ * reader that character and not the rest of the file, so every lexical error is
+ * reported against its own span and the scan resumes at the next thing it can
+ * recognise.
+ */
+export function lex(file, diagnostics) {
+    return new Lexer(file, diagnostics).run();
+}
+//# sourceMappingURL=lexer.js.map

package/dist/core/lex/lexer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.js","sourceRoot":"","sources":["../../../src/core/lex/lexer.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EACL,UAAU,EACV,SAAS,EACT,GAAG,EACH,IAAI,EACJ,OAAO,EACP,OAAO,EACP,UAAU,EACV,WAAW,EACX,SAAS,EACT,KAAK,EACL,SAAS,EACT,KAAK,EACL,KAAK,EACL,GAAG,GACJ,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AACtF,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAEvE,MAAM,QAAQ,GAAwB,IAAI,GAAG,CAAS,cAAc,CAAC,CAAC;AACtE,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC;AACpG,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC;AAEpG;;;;;GAKG;AACH,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAE9E,MAAM,gBAAgB,GAAwB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAClE,MAAM,gBAAgB,GAAwB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAElE,MAAM,QAAQ,GAAG,gBAAgB,CAAC;AAQlC,MAAM,KAAK;IACA,KAAK,CAAa;IAClB,KAAK,CAAS;IACd,KAAK,CAAiB;IACtB,OAAO,GAAY,EAAE,CAAC;IACtB,OAAO,CAAS;IAEzB,OAAO,GAAG,CAAC,CAAC;IACZ,KAAK,GAAG,CAAC,CAAC;IACV,OAAO,GAAG,CAAC,CAAC;IACZ,SAAS,GAAG,CAAC,CAAC;IACd,WAAW,GAAG,KAAK,CAAC;IACpB,aAAa,GAAG,KAAK,CAAC;IACtB,kBAAkB,GAAG,KAAK,CAAC;IAC3B,mFAAmF;IACnF,UAAU,GAAG,KAAK,CAAC;IAEnB,YAAY,IAAgB,EAAE,IAAoB;QAChD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,OAAO,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACtD,CAAC;IAED,GAAG;QACD,OAAO,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM;YAAE,IAAI,CAAC,SAAS,EAAE,CAAC;QAC1D,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED,4EAA4E;IAC5E,QAAQ;IACR,4EAA4E;IAE5E,SAAS;QACP,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC;QAC3B,IAAI,CAAC,GAAG,KAAK,CAAC;QACd,6EAA6E;QAC7E,6EAA6E;QAC7E,4EAA4E;QAC5E,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,MAAM,GAAG,IAAI,CAAC;YACpD,CAAC,EAAE,CAAC;QACN,CAAC;QAED,IAAI,CAAC,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC;QACzB,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAC5F,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;QACjB,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC;QAC3B,IAAI,CAAC,kBAAkB,GAAG,KAAK,CAAC;QAEhC,IAAI,IAAI,CAAC,UAAU;YAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAErD,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,OAAO,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACjD,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM;YAC9B,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;gBACnB,IAAI,CAAC,OAAO,EAAE,CAAC;gBACf,SAAS;YACX,CAAC;YACD,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;gBACxE,uEAAuE;gBACvE,+DAA+D;gBAC/D,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC7C,MAAM;YACR,CAAC;YACD,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3C,IAAI,CAAC,YAAY,EAAE,CAAC;gBACpB,SAAS;YACX,CAAC;YACD,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC5C,uEAAuE;gBACvE,mEAAmE;gBACnE,kBAAkB;gBAClB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC3E,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC;gBAClB,SAAS;YACX,CAAC;YACD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC;gBAC5D,SAAS,GAAG,IAAI,CAAC;gBACjB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC7C,MAAM;YACR,CAAC;YACD,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,CAAC;QAED,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC3B,CAAC;IAED,QAAQ,CAAC,SAAkB;QACzB,4EAA4E;QAC5E,yEAAyE;QACzE,+BAA+B;QAC/B,IAAI,IAAI,CAAC,aAAa,IAAI,SAAS,EAAE,CAAC;YACpC,uEAAuE;YACvE,yEAAyE;YACzE,0EAA0E;YAC1E,8DAA8D;YAC9D,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzE,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,SAAS,GAAG,CAAC,IAAI,SAAS,IAAI,QAAQ,CAAC;QACjE,CAAC;QAED,IAAI,IAAI,CAAC,aAAa,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YAC5C,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;YAChD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,CAAC;QAED,IAAI,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACrC,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;IACzB,CAAC;IAED,OAAO;QACL,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACnD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAClD,mEAAmE;YACnE,0EAA0E;YAC1E,+BAA+B;YAC/B,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;YAC5B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC;QAED,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7F,CAAC;IAED;;;;;;;;OAQG;IACH,YAAY;QACV,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3E,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QACpC,2EAA2E;QAC3E,2EAA2E;QAC3E,8CAA8C;QAC9C,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3E,CAAC;IAED;;;;OAIG;IACH,YAAY,CAAC,IAAY;QACvB,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/C,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC;IAC5B,CAAC;IAED,UAAU,CAAC,IAAY;QACrB,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC1C,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5C,CAAC;IAED,UAAU,CAAC,IAAY;QACrB,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACpC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QACnC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,4EAA4E;IAC5E,SAAS;IACT,4EAA4E;IAE5E,UAAU;QACR,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAE1C,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACtB,OAAO;QACT,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACjF,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;YAC1C,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;YAC3B,OAAO;QACT,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED;;;;;;;;OAQG;IACH,SAAS,CAAC,KAAa;QACrB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC/B,2EAA2E;YAC3E,2EAA2E;YAC3E,IAAI,CAAC,KAAK,CAAC,MAAM,CACf,QAAQ,EACR,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAC5D,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CACzC,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAwB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAoB,CAAC,CAAC,CAAC,YAAY,CAAC;QAC5F,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QACtE,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC;IAC1B,CAAC;IAED;;;;;;;;;;OAUG;IACH,WAAW,CAAC,KAAa;QACvB,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAElD,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1E,yEAAyE;YACzE,sEAAsE;YACtE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACrC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAClD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,EAAE;gBAC/D,OAAO;gBACP,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC;aAC7C,CAAC,CAAC;YACH,IAAI,CAAC,KAAK,CAAC;gBACT,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC;gBACzC,IAAI,EAAE,OAAO;aACd,CAAC,CAAC;YACH,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC;YACxB,OAAO;QACT,CAAC;QAED,IAAI,CAAC,KAAK,CAAC;YACT,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,GAAG,KAAK,CAAC;YAC5C,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC;YAC1C,KAAK,EAAE,OAAO,CAAC,KAAK;SACrB,CAAC,CAAC;QACH,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC;IAC7B,CAAC;IAED,WAAW,CAAC,KAAa;QACvB,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAE9C,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;YACzB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACzF,CAAC;QAED,6EAA6E;QAC7E,yEAAyE;QACzE,6BAA6B;QAC7B,IAAI,CAAC,KAAK,CAAC;YACT,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,GAAG,KAAK,CAAC;YAC5C,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC;YAC1C,KAAK,EAAE,OAAO,CAAC,KAAK;SACrB,CAAC,CAAC;QACH,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC;IAC7B,CAAC;IAED;;;;;;;;OAQG;IACH,WAAW,CAAC,KAAa;QACvB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACrD,MAAM,QAAQ,GACZ,IAAI,CAAC,OAAO,KAAK,SAAS;YAC1B,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAExB,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,KAAK,CAAC;gBACT,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC;gBACzC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC;aACxC,CAAC,CAAC;YACH,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC;YACxB,OAAO;QACT,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,yEAAyE;YACzE,iDAAiD;YACjD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3E,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC;YAC/B,IAAI,CAAC,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC;YACzB,OAAO;QACT,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,EAAE;YAC/D,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC;SAC3C,CAAC,CAAC;QACH,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC;QAC/B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC;IAC1B,CAAC;IAED,cAAc,CAAC,KAAa;QAC1B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtD,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC;QAC/B,IAAI,CAAC,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC;QAEzB,uEAAuE;QACvE,uEAAuE;QACvE,4EAA4E;QAC5E,0CAA0C;QAC1C,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa;YAAE,OAAO;QACtD,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;QAC5B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACxD,CAAC;IAED,gBAAgB,CAAC,KAAa;QAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAEhD,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;YAC5E,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC;YAC/B,IAAI,CAAC,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC;YACzB,OAAO;QACT,CAAC;QAED,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAA2B,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1F,IAAI,CAAC,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC;YACzB,OAAO;QACT,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3B,IAAI,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,SAAS,EAAE,CAAC;iBAC3C,IAAI,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC;gBAAE,IAAI,CAAC,SAAS,EAAE,CAAC;YAC3E,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAA0B,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;YACxF,IAAI,CAAC,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC;YACzB,OAAO;QACT,CAAC;QAED,4EAA4E;QAC5E,yEAAyE;QACzE,sDAAsD;QACtD,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACzE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC;QAC5F,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC;QAC/B,IAAI,CAAC,OAAO,GAAG,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC;IACxC,CAAC;IAED,KAAK,CAAC,IAAY;QAChB,IAAI,CAAC,GAAG,IAAI,CAAC;QACb,IAAI,OAAwB,CAAC;QAC7B,SAAS,CAAC;YACR,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAAE,CAAC,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YACxC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC;gBAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;YAChF,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;YACnC,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC;QACtB,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,WAAW;IACX,4EAA4E;IAE5E,KAAK,CAAC,KAAY;QAChB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC;QAC1B,IAAI,CAAC,kBAAkB,GAAG,KAAK,CAAC;QAChC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IAED,wFAAwF;IACxF,YAAY,CAAC,IAAU;QACrB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACnD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO;QAC1D,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,KAAK,CAAC,MAAc,EAAE,MAAc;QAClC,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,GAAG,CAAC,IAAgB,EAAE,WAA2B;IAC/D,OAAO,IAAI,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC;AAC5C,CAAC"}