openalgo-script 0.4.0 → 0.6.0

package/dist/core/importer/parser.js

@@ -0,0 +1,439 @@
+/**
+ * Statements and blocks in the source dialect.
+ *
+ * A block is the run of lines indented past its header, as in OpenScript. A
+ * statement the reader cannot take apart is not a parse error that stops the
+ * file: it becomes one `refused` statement covering its own lines and its
+ * block, so the translator can keep it as a comment and go on to the next.
+ */
+import { Cursor, Unreadable, UNREAD, badConstruct, expression, placeOf } from './expressions.js';
+import { joined } from './syntax.js';
+const KEYWORD_FORMS = {
+    import: 'an import',
+    export: 'an export',
+    method: 'a method declaration',
+    type: 'a type declaration',
+    enum: 'an enum declaration',
+    else: 'an else with no if before it',
+};
+const QUALIFIERS = new Set(['const', 'simple', 'series']);
+const TYPES = new Set([
+    'int', 'float', 'bool', 'color', 'string', 'line', 'label', 'box', 'table', 'linefill',
+    'polyline', 'array', 'matrix', 'map',
+]);
+const ASSIGNMENTS = new Set([':=', '+=', '-=', '*=', '/=', '%=']);
+function placeOfLogical(logical) {
+    const first = logical.tokens[0];
+    const last = logical.tokens[logical.tokens.length - 1];
+    if (first === undefined || last === undefined)
+        return { offset: 0, length: 0 };
+    return joined(placeOf(first), placeOf(last));
+}
+/** The last input line a body reaches, or the fallback when it holds no code. */
+function lastLineOf(body, fallback) {
+    let last = fallback;
+    for (const entry of body) {
+        if (entry.kind === 'stmt')
+            last = Math.max(last, entry.stmt.lines.last);
+    }
+    return last;
+}
+function nextCode(items, from) {
+    for (let i = from; i < items.length; i += 1) {
+        const item = items[i];
+        if (item !== undefined && item.kind === 'code')
+            return item.logical;
+    }
+    return undefined;
+}
+function entryOf(item) {
+    if (item.kind === 'remark')
+        return { kind: 'remark', remark: item.remark };
+    if (item.kind === 'blank')
+        return { kind: 'blank', line: item.line };
+    return undefined;
+}
+/** The statements indented past a header at `headerIndent`, starting at item `from`. */
+function blockAfter(items, from, headerIndent) {
+    const body = [];
+    let i = from;
+    while (i < items.length) {
+        const item = items[i];
+        if (item === undefined)
+            break;
+        if (item.kind !== 'code') {
+            const code = nextCode(items, i);
+            if (code === undefined || code.indent <= headerIndent)
+                break;
+            const entry = entryOf(item);
+            if (entry !== undefined)
+                body.push(entry);
+            i += 1;
+            continue;
+        }
+        if (item.logical.indent <= headerIndent)
+            break;
+        const parsed = statementAt(items, i, item.logical);
+        body.push({ kind: 'stmt', stmt: parsed.stmt });
+        i = parsed.next;
+    }
+    return { body, next: i };
+}
+/** The whole file as one top level body. */
+export function readScript(items) {
+    return blockAfter(items, 0, -1).body;
+}
+/** Names a statement the reader refused would have declared, read off its first tokens. */
+function declaredBy(tokens) {
+    let i = 0;
+    const at = (k) => tokens[k];
+    if (at(i)?.text === 'var' || at(i)?.text === 'varip')
+        i += 1;
+    while (at(i) !== undefined && (QUALIFIERS.has(at(i)?.text ?? '') || TYPES.has(at(i)?.text ?? '')))
+        i += 1;
+    const head = at(i);
+    if (head === undefined)
+        return [];
+    if (head.kind === 'name' && at(i + 1)?.text === '=')
+        return [{ name: head.text, at: placeOf(head) }];
+    if (head.text === '[') {
+        const names = [];
+        for (let k = i + 1; k < tokens.length; k += 1) {
+            const token = tokens[k];
+            if (token === undefined || token.text === ']')
+                break;
+            if (token.kind === 'name')
+                names.push({ name: token.text, at: placeOf(token) });
+        }
+        return names;
+    }
+    if (head.kind === 'name' && at(i + 1)?.text === '(') {
+        if (tokens.some((token) => token.text === '=>'))
+            return [{ name: head.text, at: placeOf(head) }];
+    }
+    return [];
+}
+/** A statement kept whole, with the block below it swallowed so its lines stay together. */
+function refusedAt(items, index, logical, at, construct) {
+    const { body, next } = blockAfter(items, index + 1, logical.indent);
+    const lines = { first: logical.firstLine, last: lastLineOf(body, logical.lastLine) };
+    const stmt = { kind: 'refused', construct, declares: declaredBy(logical.tokens), at, lines, remarks: logical.remarks };
+    return { stmt, next };
+}
+/** The statement starting at item `index`, whose logical line is `logical`. */
+function statementAt(items, index, logical) {
+    try {
+        return statementOf(items, index, logical);
+    }
+    catch (error) {
+        if (!(error instanceof Unreadable))
+            throw error;
+        return refusedAt(items, index, logical, error.at, error.construct);
+    }
+}
+function common(logical, last = logical.lastLine) {
+    return { at: placeOfLogical(logical), lines: { first: logical.firstLine, last }, remarks: logical.remarks };
+}
+function wholeLine(c) {
+    if (!c.done())
+        c.fail();
+}
+function statementOf(items, index, logical) {
+    const c = new Cursor(logical.tokens);
+    const first = c.peek();
+    if (first === undefined)
+        throw new Unreadable(placeOfLogical(logical), UNREAD);
+    if (first.kind === 'bad')
+        throw new Unreadable(placeOf(first), badConstruct(first));
+    const word = first.kind === 'name' ? first.text : '';
+    const keyword = KEYWORD_FORMS[word];
+    if (keyword !== undefined)
+        throw new Unreadable(placeOf(first), keyword);
+    switch (word) {
+        case 'if':
+            return ifAt(items, index, logical, c);
+        case 'for':
+            return forAt(items, index, logical, c);
+        case 'while': {
+            c.take();
+            const condition = expression(c);
+            wholeLine(c);
+            const { body, next } = blockAfter(items, index + 1, logical.indent);
+            return { stmt: { kind: 'while', condition, body, ...common(logical, lastLineOf(body, logical.lastLine)) }, next };
+        }
+        case 'switch':
+            return switchAt(items, index, logical, c);
+        case 'break':
+        case 'continue':
+            c.take();
+            wholeLine(c);
+            return { stmt: { kind: word, ...common(logical) }, next: index + 1 };
+    }
+    return simpleAt(items, index, logical, c);
+}
+function ifAt(items, index, logical, c) {
+    c.take();
+    const branches = [];
+    let condition = expression(c);
+    wholeLine(c);
+    let { body, next } = blockAfter(items, index + 1, logical.indent);
+    let otherwise;
+    let last = lastLineOf(body, logical.lastLine);
+    for (;;) {
+        branches.push({ condition, body });
+        // Comment and blank lines before an else belong to the branch they follow.
+        let ahead = next;
+        const between = [];
+        for (let item = items[ahead]; item !== undefined && item.kind !== 'code'; item = items[++ahead]) {
+            const entry = entryOf(item);
+            if (entry !== undefined)
+                between.push(entry);
+        }
+        const following = items[ahead];
+        if (following === undefined || following.kind !== 'code')
+            break;
+        const line = following.logical;
+        if (line.indent !== logical.indent || line.tokens[0]?.text !== 'else')
+            break;
+        body.push(...between);
+        next = ahead;
+        const tail = new Cursor(line.tokens);
+        tail.take();
+        if (tail.done()) {
+            const block = blockAfter(items, next + 1, logical.indent);
+            otherwise = block.body;
+            last = lastLineOf(block.body, line.lastLine);
+            next = block.next;
+            break;
+        }
+        tail.expect('if');
+        condition = expression(tail);
+        wholeLine(tail);
+        const block = blockAfter(items, next + 1, logical.indent);
+        body = block.body;
+        last = lastLineOf(block.body, line.lastLine);
+        next = block.next;
+    }
+    return { stmt: { kind: 'if', branches, otherwise, ...common(logical, last) }, next };
+}
+function forAt(items, index, logical, c) {
+    const head = c.take();
+    const variable = c.take();
+    if (variable.kind !== 'name' || c.sees('in')) {
+        throw new Unreadable(joined(placeOf(head), placeOf(variable)), 'a for loop over a collection');
+    }
+    c.expect('=');
+    const from = expression(c);
+    c.expect('to');
+    const to = expression(c);
+    let by;
+    if (c.sees('by')) {
+        c.take();
+        by = expression(c);
+    }
+    wholeLine(c);
+    const { body, next } = blockAfter(items, index + 1, logical.indent);
+    const named = { name: variable.text, at: placeOf(variable) };
+    const stmt = { kind: 'for', variable: named, from, to, by, body, ...common(logical, lastLineOf(body, logical.lastLine)) };
+    return { stmt, next };
+}
+function switchAt(items, index, logical, c) {
+    c.take();
+    const subject = c.done() ? undefined : expression(c);
+    wholeLine(c);
+    const arms = [];
+    // Comment and blank lines between arms stay with the arm before them, and
+    // any before the first arm go at the start of its body.
+    const pending = [];
+    let i = index + 1;
+    let last = logical.lastLine;
+    while (i < items.length) {
+        const item = items[i];
+        if (item === undefined)
+            break;
+        if (item.kind !== 'code') {
+            const code = nextCode(items, i);
+            if (code === undefined || code.indent <= logical.indent)
+                break;
+            const entry = entryOf(item);
+            if (entry !== undefined)
+                (arms[arms.length - 1]?.body ?? pending).push(entry);
+            i += 1;
+            continue;
+        }
+        const line = item.logical;
+        if (line.indent <= logical.indent)
+            break;
+        const arm = new Cursor(line.tokens);
+        const match = arm.sees('=>') ? undefined : expression(arm);
+        arm.expect('=>');
+        if (arm.done()) {
+            const block = blockAfter(items, i + 1, line.indent);
+            arms.push({ match, body: [...pending.splice(0), ...block.body] });
+            last = lastLineOf(block.body, line.lastLine);
+            i = block.next;
+            continue;
+        }
+        const rest = { ...line, tokens: line.tokens.slice(arm.index) };
+        const inner = simpleAt(items, i, rest, new Cursor(rest.tokens));
+        arms.push({ match, body: [...pending.splice(0), { kind: 'stmt', stmt: inner.stmt }] });
+        last = line.lastLine;
+        i += 1;
+    }
+    const read = arms;
+    return { stmt: { kind: 'switch', subject, arms: read, ...common(logical, last) }, next: i };
+}
+/** Skips `var`, qualifiers and a type; returns the mode and whether a type was written. */
+function declarationHead(c) {
+    let mode = 'plain';
+    if (c.sees('var') || c.sees('varip'))
+        mode = c.take().text === 'var' ? 'var' : 'varip';
+    let typed = false;
+    while (c.peek()?.kind === 'name' && QUALIFIERS.has(c.peek()?.text ?? ''))
+        c.take();
+    const type = c.peek();
+    if (type !== undefined && type.kind === 'name' && TYPES.has(type.text)) {
+        const after = c.peek(1);
+        const generic = after?.text === '<';
+        if (generic || (after?.kind === 'name' && after.text !== 'and' && after.text !== 'or')) {
+            c.take();
+            typed = true;
+            if (generic) {
+                while (!c.done() && !c.sees('>'))
+                    c.take();
+                c.expect('>');
+            }
+        }
+    }
+    return { mode, typed };
+}
+function simpleAt(items, index, logical, c) {
+    const next = index + 1;
+    const { mode, typed } = declarationHead(c);
+    const head = c.peek();
+    if (head === undefined)
+        c.fail();
+    if (head.text === '[' && mode === 'plain' && !typed)
+        return tupleAt(index, logical, c);
+    if (head.kind === 'name' && c.sees('(', 1) && mode === 'plain' && !typed) {
+        const fn = functionAt(items, index, logical, c);
+        if (fn !== undefined)
+            return fn;
+    }
+    if (head.kind === 'name' && c.sees('=', 1)) {
+        c.take();
+        c.take();
+        const valueStart = c.peek();
+        if (valueStart !== undefined && (valueStart.text === 'if' || valueStart.text === 'switch')) {
+            return valueFormAt(items, index, logical, valueStart);
+        }
+        const value = expression(c);
+        wholeLine(c);
+        const name = { name: head.text, at: placeOf(head) };
+        return { stmt: { kind: 'declare', mode, name, value, ...common(logical) }, next };
+    }
+    if (mode !== 'plain' || typed)
+        c.fail();
+    if (head.kind === 'name' && c.peek(1)?.kind === 'op' && ASSIGNMENTS.has(c.peek(1)?.text ?? '')) {
+        c.take();
+        const op = c.take().text;
+        const value = expression(c);
+        wholeLine(c);
+        const name = { name: head.text, at: placeOf(head) };
+        return { stmt: { kind: 'assign', op, name, value, ...common(logical) }, next };
+    }
+    const expr = expression(c);
+    wholeLine(c);
+    return { stmt: { kind: 'evaluate', expr, ...common(logical) }, next };
+}
+/** `x = if ...` and `x = switch ...`, kept whole with every branch they own. */
+function valueFormAt(items, index, logical, word) {
+    const rest = { ...logical, tokens: logical.tokens.slice(logical.tokens.indexOf(word)) };
+    const inner = word.text === 'if' ? ifAt(items, index, rest, new Cursor(rest.tokens)) : switchAt(items, index, rest, new Cursor(rest.tokens));
+    const construct = word.text === 'if' ? 'an if used as a value' : 'a switch used as a value';
+    const stmt = {
+        kind: 'refused',
+        construct,
+        declares: declaredBy(logical.tokens),
+        at: placeOf(word),
+        lines: { first: logical.firstLine, last: inner.stmt.lines.last },
+        remarks: logical.remarks,
+    };
+    return { stmt, next: inner.next };
+}
+function tupleAt(index, logical, c) {
+    const open = c.take();
+    const names = [];
+    while (!c.sees(']')) {
+        const token = c.take();
+        if (token.kind !== 'name')
+            throw new Unreadable(placeOf(token), UNREAD);
+        names.push({ name: token.text, at: placeOf(token) });
+        if (!c.sees(','))
+            break;
+        c.take();
+    }
+    const close = c.expect(']');
+    if (!c.sees('='))
+        throw new Unreadable(joined(placeOf(open), placeOf(close)), 'a tuple reassignment');
+    c.take();
+    const value = expression(c);
+    wholeLine(c);
+    return { stmt: { kind: 'tuple', names, value, ...common(logical) }, next: index + 1 };
+}
+/** A function declaration, or undefined when the line is a call rather than one. */
+function functionAt(items, index, logical, c) {
+    const tokens = logical.tokens;
+    let depth = 0;
+    let close = -1;
+    for (let k = c.index + 1; k < tokens.length; k += 1) {
+        const text = tokens[k]?.text;
+        if (text === '(')
+            depth += 1;
+        else if (text === ')') {
+            depth -= 1;
+            if (depth === 0) {
+                close = k;
+                break;
+            }
+        }
+    }
+    if (close < 0 || tokens[close + 1]?.text !== '=>')
+        return undefined;
+    const nameToken = c.take();
+    c.expect('(');
+    const params = [];
+    while (!c.sees(')')) {
+        declarationHead(c);
+        const token = c.take();
+        if (token.kind !== 'name')
+            throw new Unreadable(placeOf(token), UNREAD);
+        let fallback;
+        if (c.sees('=')) {
+            c.take();
+            fallback = expression(c);
+        }
+        params.push({ name: token.text, at: placeOf(token), fallback });
+        if (!c.sees(','))
+            break;
+        c.take();
+    }
+    c.expect(')');
+    c.expect('=>');
+    const name = { name: nameToken.text, at: placeOf(nameToken) };
+    if (!c.done()) {
+        const body = expression(c);
+        wholeLine(c);
+        return { stmt: { kind: 'function', name, params, body, ...common(logical) }, next: index + 1 };
+    }
+    const block = blockAfter(items, index + 1, logical.indent);
+    const stmt = {
+        kind: 'function',
+        name,
+        params,
+        body: block.body,
+        ...common(logical, lastLineOf(block.body, logical.lastLine)),
+    };
+    return { stmt, next: block.next };
+}
+//# sourceMappingURL=parser.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../../src/core/importer/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAEjG,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAGrC,MAAM,aAAa,GAAqC;IACtD,MAAM,EAAE,WAAW;IACnB,MAAM,EAAE,WAAW;IACnB,MAAM,EAAE,sBAAsB;IAC9B,IAAI,EAAE,oBAAoB;IAC1B,IAAI,EAAE,qBAAqB;IAC3B,IAAI,EAAE,8BAA8B;CACrC,CAAC;AAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC1D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC;IACpB,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU;IACtF,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK;CACrC,CAAC,CAAC;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAOlE,SAAS,cAAc,CAAC,OAAgB;IACtC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvD,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAC/E,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,iFAAiF;AACjF,SAAS,UAAU,CAAC,IAAU,EAAE,QAAgB;IAC9C,IAAI,IAAI,GAAG,QAAQ,CAAC;IACpB,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;YAAE,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,KAAsB,EAAE,IAAY;IACpD,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC;IACtE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,OAAO,CAAC,IAAU;IACzB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACrE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,wFAAwF;AACxF,SAAS,UAAU,CAAC,KAAsB,EAAE,IAAY,EAAE,YAAoB;IAC5E,MAAM,IAAI,GAAY,EAAE,CAAC;IACzB,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAChC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,IAAI,YAAY;gBAAE,MAAM;YAC7D,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,KAAK,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1C,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,YAAY;YAAE,MAAM;QAC/C,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QAC/C,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;IAClB,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AAC3B,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,UAAU,CAAC,KAAsB;IAC/C,OAAO,UAAU,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED,2FAA2F;AAC3F,SAAS,UAAU,CAAC,MAAwB;IAC1C,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,EAAE,GAAG,CAAC,CAAS,EAAqB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,OAAO;QAAE,CAAC,IAAI,CAAC,CAAC;IAC7D,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;QAAE,CAAC,IAAI,CAAC,CAAC;IAC1G,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IACnB,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrG,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;QACtB,MAAM,KAAK,GAAY,EAAE,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACxB,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG;gBAAE,MAAM;YACrD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG,EAAE,CAAC;QACpD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;YAAE,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnG,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,4FAA4F;AAC5F,SAAS,SAAS,CAAC,KAAsB,EAAE,KAAa,EAAE,OAAgB,EAAE,EAAS,EAAE,SAAiB;IACtG,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;IACrF,MAAM,IAAI,GAAS,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7H,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACxB,CAAC;AAED,+EAA+E;AAC/E,SAAS,WAAW,CAAC,KAAsB,EAAE,KAAa,EAAE,OAAgB;IAC1E,IAAI,CAAC;QACH,OAAO,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC;YAAE,MAAM,KAAK,CAAC;QAChD,OAAO,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,OAAgB,EAAE,OAAe,OAAO,CAAC,QAAQ;IAK/D,OAAO,EAAE,EAAE,EAAE,cAAc,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;AAC9G,CAAC;AAED,SAAS,SAAS,CAAC,CAAS;IAC1B,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE;QAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,WAAW,CAAC,KAAsB,EAAE,KAAa,EAAE,OAAgB;IAC1E,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;IAC/E,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;QAAE,MAAM,IAAI,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACpF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACrD,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;IAEzE,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,IAAI;YACP,OAAO,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QACxC,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QACzC,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,CAAC,CAAC,IAAI,EAAE,CAAC;YACT,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAChC,SAAS,CAAC,CAAC,CAAC,CAAC;YACb,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YACpE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC;QACpH,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAC5C,KAAK,OAAO,CAAC;QACb,KAAK,UAAU;YACb,CAAC,CAAC,IAAI,EAAE,CAAC;YACT,SAAS,CAAC,CAAC,CAAC,CAAC;YACb,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC;IACzE,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,IAAI,CAAC,KAAsB,EAAE,KAAa,EAAE,OAAgB,EAAE,CAAS;IAC9E,CAAC,CAAC,IAAI,EAAE,CAAC;IACT,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IAC9B,SAAS,CAAC,CAAC,CAAC,CAAC;IACb,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAClE,IAAI,SAA8B,CAAC;IACnC,IAAI,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC9C,SAAS,CAAC;QACR,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACnC,2EAA2E;QAC3E,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,MAAM,OAAO,GAAY,EAAE,CAAC;QAC5B,KAAK,IAAI,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,IAAI,GAAG,KAAK,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;YAChG,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM;QAChE,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM;YAAE,MAAM;QAC7E,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;QACtB,IAAI,GAAG,KAAK,CAAC;QACb,MAAM,IAAI,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1D,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC;YACvB,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7C,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;YAClB,MAAM;QACR,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClB,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAC7B,SAAS,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QAClB,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACpB,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC;AACvF,CAAC;AAED,SAAS,KAAK,CAAC,KAAsB,EAAE,KAAa,EAAE,OAAgB,EAAE,CAAS;IAC/E,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACtB,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,8BAA8B,CAAC,CAAC;IACjG,CAAC;IACD,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACd,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACf,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,EAAoB,CAAC;IACzB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACjB,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,SAAS,CAAC,CAAC,CAAC,CAAC;IACb,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC7D,MAAM,IAAI,GAAS,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;IAChI,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACxB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAsB,EAAE,KAAa,EAAE,OAAgB,EAAE,CAAS;IAClF,CAAC,CAAC,IAAI,EAAE,CAAC;IACT,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACrD,SAAS,CAAC,CAAC,CAAC,CAAC;IACb,MAAM,IAAI,GAAiD,EAAE,CAAC;IAC9D,0EAA0E;IAC1E,wDAAwD;IACxD,MAAM,OAAO,GAAY,EAAE,CAAC;IAC5B,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IAClB,IAAI,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC;IAC5B,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAChC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM;gBAAE,MAAM;YAC/D,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,KAAK,KAAK,SAAS;gBAAE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9E,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC;QAC1B,IAAI,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM;YAAE,MAAM;QACzC,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAC3D,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjB,IAAI,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACpD,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClE,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7C,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;YACf,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAY,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QACvF,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC;QACrB,CAAC,IAAI,CAAC,CAAC;IACT,CAAC;IACD,MAAM,IAAI,GAAU,IAAI,CAAC;IACzB,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AAC9F,CAAC;AAED,2FAA2F;AAC3F,SAAS,eAAe,CAAC,CAAS;IAChC,IAAI,IAAI,GAA8B,OAAO,CAAC;IAC9C,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;IACvF,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC;QAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACnF,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACtB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACvE,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,EAAE,IAAI,KAAK,GAAG,CAAC;QACpC,IAAI,OAAO,IAAI,CAAC,KAAK,EAAE,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACvF,CAAC,CAAC,IAAI,EAAE,CAAC;YACT,KAAK,GAAG,IAAI,CAAC;YACb,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC3C,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAChB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAsB,EAAE,KAAa,EAAE,OAAgB,EAAE,CAAS;IAClF,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC;IACvB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACtB,IAAI,IAAI,KAAK,SAAS;QAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAEjC,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,OAAO,IAAI,CAAC,KAAK;QAAE,OAAO,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IAEvF,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,IAAI,KAAK,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC;QACzE,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAChD,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;IAClC,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;QAC3C,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;YAC3F,OAAO,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,SAAS,CAAC,CAAC,CAAC,CAAC;QACb,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC;IACpF,CAAC;IAED,IAAI,IAAI,KAAK,OAAO,IAAI,KAAK;QAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAExC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC;QAC/F,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC;QACzB,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,SAAS,CAAC,CAAC,CAAC,CAAC;QACb,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC;IACjF,CAAC;IAED,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3B,SAAS,CAAC,CAAC,CAAC,CAAC;IACb,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC;AACxE,CAAC;AAED,gFAAgF;AAChF,SAAS,WAAW,CAAC,KAAsB,EAAE,KAAa,EAAE,OAAgB,EAAE,IAAW;IACvF,MAAM,IAAI,GAAY,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;IACjG,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7I,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,0BAA0B,CAAC;IAC5F,MAAM,IAAI,GAAS;QACjB,IAAI,EAAE,SAAS;QACf,SAAS;QACT,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC;QACpC,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC;QACjB,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE;QAChE,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,OAAO,CAAC,KAAa,EAAE,OAAgB,EAAE,CAAS;IACzD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACtB,MAAM,KAAK,GAAY,EAAE,CAAC;IAC1B,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACvB,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM,IAAI,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACxE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,MAAM;QACxB,CAAC,CAAC,IAAI,EAAE,CAAC;IACX,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC5B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,sBAAsB,CAAC,CAAC;IACtG,CAAC,CAAC,IAAI,EAAE,CAAC;IACT,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IAC5B,SAAS,CAAC,CAAC,CAAC,CAAC;IACb,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC;AACxF,CAAC;AAED,oFAAoF;AACpF,SAAS,UAAU,CAAC,KAAsB,EAAE,KAAa,EAAE,OAAgB,EAAE,CAAS;IACpF,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAC9B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACf,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;QAC7B,IAAI,IAAI,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aACxB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACtB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,KAAK,GAAG,CAAC,CAAC;gBACV,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAEpE,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3B,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACd,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACpB,eAAe,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACvB,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM,IAAI,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACxE,IAAI,QAA0B,CAAC;QAC/B,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAChB,CAAC,CAAC,IAAI,EAAE,CAAC;YACT,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;QAChE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,MAAM;QACxB,CAAC,CAAC,IAAI,EAAE,CAAC;IACX,CAAC;IACD,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACd,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACf,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;IAC9D,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,SAAS,CAAC,CAAC,CAAC,CAAC;QACb,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC;IACjG,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAS;QACjB,IAAI,EAAE,UAAU;QAChB,IAAI;QACJ,MAAM;QACN,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;KAC7D,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;AACpC,CAAC"}

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

@@ -0,0 +1,32 @@
+/**
+ * Three questions about a source expression that decide where the two
+ * languages part, answered from the source tree before anything is written.
+ *
+ * **Can it be absent?** The source dialect answers a comparison with an absent
+ * side `false`, where OpenScript answers `none` (`language.md` 6.4). Most
+ * places treat the two alike, because a condition that is absent takes the
+ * false branch; the places that do not are `not`, an equality with a boolean
+ * literal and a condition handed to a counting built-in, and there the
+ * translation writes `orElse(x, false)`, which is the source dialect's answer
+ * exactly. The analysis is conservative: anything it cannot show is present is
+ * treated as possibly absent, which costs an `orElse` that changes nothing.
+ *
+ * **Does it hold state?** A call that keeps state at its call site, or a user
+ * function that may, is one whose value depends on which bars it ran on
+ * (`language.md` 11.4). That is where the order and laziness of evaluation
+ * stop being invisible.
+ *
+ * **Is it a whole-number constant?** Version 5 of the source dialect divides
+ * two of those without a fraction.
+ */
+import type { Context } from './context.js';
+import type { Expr } from './syntax.js';
+/** Whether an expression holds a value on every bar, as far as the tree can show. */
+export declare function neverAbsent(ctx: Context, expr: Expr | undefined): boolean;
+/** Whether evaluating an expression runs a call that keeps state at its call site. */
+export declare function holdsState(ctx: Context, expr: Expr): boolean;
+/** Whether an expression is a whole-number constant in version 5's sense. */
+export declare function wholeConstant(ctx: Context, expr: Expr): boolean;
+/** Whether a name is read anywhere inside an expression. */
+export declare function mentions(expr: Expr, name: string): boolean;
+//# sourceMappingURL=presence.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"presence.d.ts","sourceRoot":"","sources":["../../../src/core/importer/presence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AA4BxC,qFAAqF;AACrF,wBAAgB,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,GAAG,OAAO,CA+BzE;AAED,sFAAsF;AACtF,wBAAgB,UAAU,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CA4B5D;AAOD,6EAA6E;AAC7E,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAe/D;AAED,4DAA4D;AAC5D,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAuB1D"}

package/dist/core/importer/presence.js

@@ -0,0 +1,146 @@
+import { pathOf } from './syntax.js';
+import { CALLS, COLOURS } from './table.js';
+/** Built-in series that hold a value on every bar, from bar 0. Volume can be absent. */
+const PRESENT_SERIES = new Set(['open', 'high', 'low', 'close', 'hl2', 'hlc3', 'ohlc4', 'hlcc4', 'time', 'bar_index']);
+/** Calls that return a present value whenever their arguments are present. */
+const PRESENT_WHEN_ARGUMENTS_ARE = new Set([
+    'math.abs', 'math.max', 'math.min', 'math.floor', 'math.ceil', 'math.sign', 'int', 'float',
+]);
+function namePresent(ctx, name) {
+    const binding = ctx.scope.find(name);
+    if (binding !== undefined)
+        return binding.present;
+    return PRESENT_SERIES.has(name);
+}
+function callPresent(ctx, expr) {
+    const path = pathOf(expr.callee);
+    if (path === undefined || ctx.scope.find(path.split('.')[0] ?? '') !== undefined)
+        return false;
+    if (path === 'na')
+        return true;
+    if (path === 'nz')
+        return expr.args.length < 2 || neverAbsent(ctx, expr.args[1]?.value);
+    if (path.startsWith('input'))
+        return true;
+    if (path === 'color.new' || path === 'color.rgb')
+        return true;
+    if (PRESENT_WHEN_ARGUMENTS_ARE.has(path))
+        return expr.args.every((arg) => neverAbsent(ctx, arg.value));
+    return false;
+}
+/** Whether an expression holds a value on every bar, as far as the tree can show. */
+export function neverAbsent(ctx, expr) {
+    if (expr === undefined)
+        return false;
+    switch (expr.kind) {
+        case 'number':
+        case 'string':
+        case 'bool':
+        case 'color':
+            return true;
+        case 'name':
+            return namePresent(ctx, expr.name);
+        case 'member': {
+            const path = pathOf(expr) ?? '';
+            if (path.startsWith('barstate.') || path === 'math.pi' || path === 'math.e')
+                return true;
+            if (path === 'strategy.position_size')
+                return true;
+            return path.startsWith('color.') && COLOURS.has(expr.property);
+        }
+        case 'unary':
+            return neverAbsent(ctx, expr.operand);
+        case 'binary':
+            if (expr.op === '/' || expr.op === '%')
+                return false;
+            return neverAbsent(ctx, expr.left) && neverAbsent(ctx, expr.right);
+        case 'ternary':
+            return neverAbsent(ctx, expr.then) && neverAbsent(ctx, expr.otherwise);
+        case 'group':
+            return neverAbsent(ctx, expr.inner);
+        case 'call':
+            return callPresent(ctx, expr);
+        case 'index':
+        case 'list':
+            return false;
+    }
+}
+/** Whether evaluating an expression runs a call that keeps state at its call site. */
+export function holdsState(ctx, expr) {
+    switch (expr.kind) {
+        case 'call': {
+            const path = pathOf(expr.callee);
+            if (path !== undefined) {
+                const binding = ctx.scope.find(path);
+                if (binding !== undefined && binding.kind === 'function')
+                    return true;
+                if (CALLS.get(path)?.stateful === true)
+                    return true;
+            }
+            return holdsState(ctx, expr.callee) || expr.args.some((arg) => holdsState(ctx, arg.value));
+        }
+        case 'member':
+            return holdsState(ctx, expr.object);
+        case 'index':
+            return holdsState(ctx, expr.target) || holdsState(ctx, expr.index);
+        case 'unary':
+            return holdsState(ctx, expr.operand);
+        case 'binary':
+            return holdsState(ctx, expr.left) || holdsState(ctx, expr.right);
+        case 'ternary':
+            return holdsState(ctx, expr.condition) || holdsState(ctx, expr.then) || holdsState(ctx, expr.otherwise);
+        case 'group':
+            return holdsState(ctx, expr.inner);
+        case 'list':
+            return expr.items.some((item) => holdsState(ctx, item));
+        default:
+            return false;
+    }
+}
+/** A whole-number literal, as the source writes one: no point and no exponent. */
+function wholeLiteral(text) {
+    return /^[0-9]+$/.test(text);
+}
+/** Whether an expression is a whole-number constant in version 5's sense. */
+export function wholeConstant(ctx, expr) {
+    switch (expr.kind) {
+        case 'number':
+            return wholeLiteral(expr.text);
+        case 'name':
+            return ctx.scope.find(expr.name)?.whole === true;
+        case 'unary':
+            return expr.op !== 'not' && wholeConstant(ctx, expr.operand);
+        case 'group':
+            return wholeConstant(ctx, expr.inner);
+        case 'binary':
+            return ['+', '-', '*', '/', '%'].includes(expr.op) && wholeConstant(ctx, expr.left) && wholeConstant(ctx, expr.right);
+        default:
+            return false;
+    }
+}
+/** Whether a name is read anywhere inside an expression. */
+export function mentions(expr, name) {
+    switch (expr.kind) {
+        case 'name':
+            return expr.name === name;
+        case 'member':
+            return mentions(expr.object, name);
+        case 'call':
+            return mentions(expr.callee, name) || expr.args.some((arg) => mentions(arg.value, name));
+        case 'index':
+            return mentions(expr.target, name) || mentions(expr.index, name);
+        case 'unary':
+            return mentions(expr.operand, name);
+        case 'binary':
+            return mentions(expr.left, name) || mentions(expr.right, name);
+        case 'ternary':
+            return mentions(expr.condition, name) || mentions(expr.then, name) || mentions(expr.otherwise, name);
+        case 'group':
+            return mentions(expr.inner, name);
+        case 'list':
+            return expr.items.some((item) => mentions(item, name));
+        default:
+            return false;
+    }
+}
+//# sourceMappingURL=presence.js.map