@starpak/lang 0.0.0-stage → 0.1.2

package/lib/checker.js

@@ -0,0 +1,525 @@
+"use strict";
+/**
+ * Spak Lang - Static checker (M2)
+ *
+ * Walks the AST and reports diagnostics from `diagnostics.ts`.
+ * Types are erased after checking; nothing here affects code generation.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CODES = void 0;
+exports.check = check;
+const diagnostics_1 = require("./diagnostics");
+Object.defineProperty(exports, "CODES", { enumerable: true, get: function () { return diagnostics_1.CODES; } });
+const types_1 = require("./types");
+const GLOBAL_SCOPE = { vars: new Map() };
+function newScope(parent) {
+    return { parent, vars: new Map() };
+}
+function lookup(scope, name) {
+    let current = scope;
+    while (current) {
+        const found = current.vars.get(name);
+        if (found)
+            return found;
+        current = current.parent;
+    }
+    return undefined;
+}
+function declare(scope, name, type, decl) {
+    scope.vars.set(name, { type, decl, used: false });
+}
+function check(program, options = {}) {
+    const diagnostics = [];
+    const aliases = new Map();
+    // Pass 1: type aliases, so later annotations can resolve them.
+    for (const statement of program.body) {
+        const decl = unwrapExport(statement);
+        if (decl.kind === 'TypeAliasDecl')
+            aliases.set(decl.name, (0, types_1.fromTypeAnn)(decl.type));
+    }
+    for (const [name, type] of aliases) {
+        if (type.kind === 'named' && type.name === name) {
+            diagnostics.push((0, diagnostics_1.error)('E006', `类型别名「${name}」循环引用`, program.loc));
+        }
+    }
+    const resolveAnn = (ann) => {
+        const type = (0, types_1.fromTypeAnn)(ann);
+        return resolveNamed(type, aliases);
+    };
+    const push = (diag) => diagnostics.push(diag);
+    const checkCall = (node, argNodes, callee, args, offset = 0) => {
+        if (callee.kind !== 'fn')
+            return types_1.ANY;
+        const hasSpread = argNodes.some(node => node.kind === 'Spread');
+        if (!hasSpread && args.length !== callee.params.length) {
+            push((0, diagnostics_1.error)('E004', `需要 ${callee.params.length} 个参数，实际 ${args.length} 个`, node.loc));
+            return callee.returns;
+        }
+        if (hasSpread)
+            return callee.returns;
+        callee.params.forEach((param, index) => {
+            if (!(0, types_1.isAssignable)(param, args[index])) {
+                const at = argNodes[index - offset]?.loc ?? node.loc;
+                push((0, diagnostics_1.error)('E001', `第 ${index + 1} 个参数应为 ${(0, types_1.print)(param)}，得到 ${(0, types_1.print)(args[index])}`, at));
+            }
+        });
+        return callee.returns;
+    };
+    const checkTypeKnown = (ann, loc = ann.loc) => {
+        if (ann.kind === 'named') {
+            const known = ['any', 'nil', 'number', 'string', 'boolean', 'bool'];
+            if (!known.includes(ann.name) && !aliases.has(ann.name)) {
+                push((0, diagnostics_1.error)('E003', `未知类型名「${ann.name}」`, loc));
+            }
+            return;
+        }
+        if (ann.kind === 'array')
+            checkTypeKnown(ann.element, ann.element.loc);
+        if (ann.kind === 'dict') {
+            checkTypeKnown(ann.key, ann.key.loc);
+            checkTypeKnown(ann.value, ann.value.loc);
+        }
+        if (ann.kind === 'record')
+            for (const field of ann.fields)
+                checkTypeKnown(field.type, field.type.loc);
+        if (ann.kind === 'union')
+            for (const item of ann.types)
+                checkTypeKnown(item, item.loc);
+        if (ann.kind === 'fn') {
+            for (const item of ann.params)
+                checkTypeKnown(item, item.loc);
+            checkTypeKnown(ann.returns, ann.returns.loc);
+        }
+        if (ann.kind === 'optional')
+            checkTypeKnown(ann.type, ann.type.loc);
+    };
+    const checkExpr = (expr, scope, fn, narrow) => {
+        switch (expr.kind) {
+            case 'NumberLit':
+                return types_1.NUMBER;
+            case 'StringLit':
+                if (expr.parts)
+                    for (const part of expr.parts)
+                        if (typeof part !== 'string')
+                            checkExpr(part, scope, fn, narrow);
+                return types_1.STRING;
+            case 'BoolLit':
+                return types_1.BOOLEAN;
+            case 'NilLit':
+                return types_1.NIL;
+            case 'Ident': {
+                if (narrow?.has(expr.name))
+                    return narrow.get(expr.name);
+                const found = lookup(scope, expr.name);
+                if (!found)
+                    return types_1.ANY;
+                found.used = true;
+                return found.type;
+            }
+            case 'SelfExpr':
+                return types_1.ANY;
+            case 'Member': {
+                const object = checkExpr(expr.object, scope, fn, narrow);
+                if (object.kind === 'record') {
+                    const field = object.fields.get(expr.property);
+                    if (!field) {
+                        push((0, diagnostics_1.error)('E007', `记录类型没有字段「${expr.property}」`, expr.loc));
+                        return types_1.ANY;
+                    }
+                    return expr.optional ? (0, types_1.union)([field, types_1.NIL]) : field;
+                }
+                return expr.optional ? types_1.ANY : types_1.ANY;
+            }
+            case 'Index': {
+                const object = checkExpr(expr.object, scope, fn, narrow);
+                const index = checkExpr(expr.index, scope, fn, narrow);
+                if (object.kind === 'array') {
+                    if (expr.isRange)
+                        return object;
+                    if (!(0, types_1.isAssignable)(types_1.NUMBER, index)) {
+                        push((0, diagnostics_1.error)('E001', `数组下标应为 number，得到 ${(0, types_1.print)(index)}`, expr.index.loc));
+                    }
+                    return object.element;
+                }
+                if (object.kind === 'dict') {
+                    if (!(0, types_1.isAssignable)(object.key, index)) {
+                        push((0, diagnostics_1.error)('E001', `字典键应为 ${(0, types_1.print)(object.key)}，得到 ${(0, types_1.print)(index)}`, expr.index.loc));
+                    }
+                    return object.value;
+                }
+                return types_1.ANY;
+            }
+            case 'Call': {
+                const callee = checkExpr(expr.callee, scope, fn, narrow);
+                const args = expr.args.map(arg => checkExpr(arg, scope, fn, narrow));
+                return checkCall(expr, expr.args, callee, args);
+            }
+            case 'Binary': {
+                if (expr.op === '|>') {
+                    const left = checkExpr(expr.left, scope, fn, narrow);
+                    if (expr.right.kind !== 'Call') {
+                        checkExpr(expr.right, scope, fn, narrow);
+                        return types_1.ANY;
+                    }
+                    const callee = checkExpr(expr.right.callee, scope, fn, narrow);
+                    const args = [left, ...expr.right.args.map(arg => checkExpr(arg, scope, fn, narrow))];
+                    return checkCall(expr.right, expr.right.args, callee, args, 1);
+                }
+                const left = checkExpr(expr.left, scope, fn, narrow);
+                const right = checkExpr(expr.right, scope, fn, narrow);
+                return checkBinary(expr.op, left, right, expr, push);
+            }
+            case 'Unary': {
+                const argument = checkExpr(expr.argument, scope, fn, narrow);
+                if (expr.op === '-' && !isNumeric(argument)) {
+                    push((0, diagnostics_1.error)('E001', `一元 - 只能用于 number，得到 ${(0, types_1.print)(argument)}`, expr.argument.loc));
+                }
+                if (expr.op === 'not')
+                    return types_1.BOOLEAN;
+                if (expr.op === '#')
+                    return types_1.NUMBER;
+                return argument;
+            }
+            case 'Table': {
+                const values = [];
+                const fields = new Map();
+                let positional = true;
+                for (const field of expr.fields) {
+                    const value = checkExpr(field.value, scope, fn, narrow);
+                    values.push(value);
+                    if (field.key?.kind === 'Ident') {
+                        positional = false;
+                        fields.set(field.key.name, value);
+                    }
+                }
+                if (positional) {
+                    return { kind: 'array', element: values.length ? (0, types_1.union)(values) : types_1.ANY };
+                }
+                return { kind: 'record', fields };
+            }
+            case 'FunctionExpr': {
+                const inner = newScope(scope);
+                for (const param of expr.params) {
+                    const type = param.type ? resolveAnn(param.type) : types_1.ANY;
+                    if (param.type)
+                        checkTypeKnown(param.type);
+                    declare(inner, param.name, type, { kind: 'FnDecl' });
+                }
+                const returns = expr.exprBody
+                    ? checkExpr(expr.exprBody, inner, fn, narrow)
+                    : checkBlock(expr.body, inner, { returnType: null, name: 'fn' }, narrow);
+                return { kind: 'fn', params: expr.params.map(p => (p.type ? resolveAnn(p.type) : types_1.ANY)), returns };
+            }
+            case 'Range': {
+                checkExpr(expr.from, scope, fn, narrow);
+                checkExpr(expr.to, scope, fn, narrow);
+                return types_1.ANY;
+            }
+            case 'AwaitExpr':
+                return checkExpr(expr.argument, scope, fn, narrow);
+            case 'Spread':
+                return expr.argument ? checkExpr(expr.argument, scope, fn, narrow) : types_1.ANY;
+            default:
+                return types_1.ANY;
+        }
+    };
+    const checkBlock = (block, scope, fn, narrow) => {
+        if (!block)
+            return types_1.NIL;
+        const returns = [];
+        for (const statement of block.body) {
+            const type = checkStatement(statement, scope, fn, narrow);
+            if (statement.kind === 'ReturnStmt')
+                returns.push(type);
+        }
+        return returns.length ? (0, types_1.union)(returns) : types_1.NIL;
+    };
+    const bindPattern = (pattern, scope) => {
+        if (pattern.kind === 'TablePattern') {
+            for (const entry of pattern.entries) {
+                declare(scope, entry.target ?? entry.key, types_1.ANY, { kind: 'VarDecl' });
+            }
+            return;
+        }
+        for (const name of pattern.elements) {
+            declare(scope, name, types_1.ANY, { kind: 'VarDecl' });
+        }
+    };
+    const checkAssign = (statement, scope, fn, narrow) => {
+        const values = statement.values.map(value => checkExpr(value, scope, fn, narrow));
+        statement.targets.forEach((target, index) => {
+            const valueType = values[index] ?? types_1.ANY;
+            if (isPattern(target)) {
+                bindPattern(target, scope);
+                return;
+            }
+            if (target.kind === 'Ident') {
+                const found = lookup(scope, target.name);
+                if (found) {
+                    if (!(0, types_1.isAssignable)(found.type, valueType)) {
+                        push((0, diagnostics_1.error)('E001', `变量「${target.name}」是 ${(0, types_1.print)(found.type)}，不能赋 ${(0, types_1.print)(valueType)}`, target.loc));
+                    }
+                }
+                else {
+                    declare(scope, target.name, valueType, { kind: 'VarDecl' });
+                }
+                return;
+            }
+            checkExpr(target, scope, fn, narrow);
+        });
+    };
+    const checkVarDecl = (statement, scope, narrow) => {
+        statement.names.forEach((entry, index) => {
+            if (entry.type)
+                checkTypeKnown(entry.type);
+            const annotated = entry.type ? resolveAnn(entry.type) : null;
+            const value = statement.values[index];
+            if (value) {
+                const valueType = checkExpr(value, scope, null, narrow);
+                if (annotated && !(0, types_1.isAssignable)(annotated, valueType)) {
+                    push((0, diagnostics_1.error)('E001', `「${entry.name}」标注为 ${(0, types_1.print)(annotated)}，赋值是 ${(0, types_1.print)(valueType)}`, value.loc));
+                }
+                declare(scope, entry.name, annotated ?? valueType, statement);
+                return;
+            }
+            if (annotated) {
+                declare(scope, entry.name, annotated, statement);
+                return;
+            }
+            declare(scope, entry.name, types_1.ANY, statement);
+            if (options.strictAny) {
+                push((0, diagnostics_1.error)('W003', `「${entry.name}」是隐式 any`, statement.loc));
+            }
+        });
+    };
+    const checkFn = (statement, scope) => {
+        for (const param of statement.params)
+            if (param.type)
+                checkTypeKnown(param.type);
+        const params = statement.params.map(param => (param.type ? resolveAnn(param.type) : types_1.ANY));
+        const declaredReturn = statement.returnType ? resolveAnn(statement.returnType) : null;
+        if (statement.returnType)
+            checkTypeKnown(statement.returnType);
+        const inner = newScope(scope);
+        statement.params.forEach((param, index) => declare(inner, param.name, params[index], statement));
+        const context = { returnType: declaredReturn, name: statement.name };
+        if (statement.exprBody) {
+            const actual = checkExpr(statement.exprBody, inner, context);
+            if (declaredReturn && !(0, types_1.isAssignable)(declaredReturn, actual)) {
+                push((0, diagnostics_1.error)('E005', `「${statement.name}」应返回 ${(0, types_1.print)(declaredReturn)}，实际 ${(0, types_1.print)(actual)}`, statement.exprBody.loc));
+            }
+            return;
+        }
+        const actual = checkBlock(statement.body, inner, context);
+        if (declaredReturn && !(0, types_1.isAssignable)(declaredReturn, actual) && statement.body?.body.some(s => s.kind === 'ReturnStmt')) {
+            push((0, diagnostics_1.error)('E005', `「${statement.name}」应返回 ${(0, types_1.print)(declaredReturn)}，实际 ${(0, types_1.print)(actual)}`, statement.loc));
+        }
+    };
+    const checkClass = (statement, scope) => {
+        const inner = newScope(scope);
+        for (const member of statement.members) {
+            if (member.kind === 'FnDecl') {
+                const params = member.params.map(param => (param.type ? resolveAnn(param.type) : types_1.ANY));
+                declare(inner, member.name, { kind: 'fn', params, returns: member.returnType ? resolveAnn(member.returnType) : types_1.ANY }, member);
+                checkFn(member, inner);
+            }
+            else {
+                checkVarDecl(member, inner);
+            }
+        }
+        declare(scope, statement.name, { kind: 'named', name: statement.name }, statement);
+    };
+    const checkMatch = (statement, scope, fn) => {
+        checkExpr(statement.subject, scope, fn);
+        for (const arm of statement.arms) {
+            const inner = newScope(scope);
+            for (const pattern of arm.patterns)
+                checkExpr(pattern, inner, fn);
+            if (arm.guard)
+                checkExpr(arm.guard, inner, fn);
+            checkBlock(arm.body, inner, fn);
+        }
+        if (statement.elseBody)
+            checkBlock(statement.elseBody, scope, fn);
+    };
+    const checkStatement = (statement, scope, fn, narrow) => {
+        switch (statement.kind) {
+            case 'VarDecl':
+                checkVarDecl(statement, scope, narrow);
+                return types_1.NIL;
+            case 'Assign':
+                checkAssign(statement, scope, fn, narrow);
+                return types_1.NIL;
+            case 'FnDecl':
+                checkFn(statement, scope);
+                declare(scope, statement.name, { kind: 'fn', params: statement.params.map(p => (p.type ? resolveAnn(p.type) : types_1.ANY)), returns: statement.returnType ? resolveAnn(statement.returnType) : types_1.ANY }, statement);
+                return types_1.NIL;
+            case 'ClassDecl':
+                checkClass(statement, scope);
+                return types_1.NIL;
+            case 'IfStmt': {
+                const condType = checkExpr(statement.cond, scope, fn, narrow);
+                const narrowed = narrowCond(statement.cond, condType, scope, narrow, true);
+                checkBlock(statement.then, newScope(scope), fn, narrowed);
+                for (const branch of statement.elifs) {
+                    checkExpr(branch.cond, scope, fn, narrow);
+                    checkBlock(branch.body, newScope(scope), fn, narrowed);
+                }
+                if (statement.else)
+                    checkBlock(statement.else, newScope(scope), fn, narrow);
+                return types_1.NIL;
+            }
+            case 'UnlessStmt':
+                checkExpr(statement.cond, scope, fn, narrow);
+                checkBlock(statement.body, newScope(scope), fn, narrow);
+                return types_1.NIL;
+            case 'WhileStmt':
+                checkExpr(statement.cond, scope, fn, narrow);
+                checkBlock(statement.body, newScope(scope), fn, narrow);
+                return types_1.NIL;
+            case 'RepeatStmt':
+                checkBlock(statement.body, newScope(scope), fn, narrow);
+                checkExpr(statement.cond, scope, fn, narrow);
+                return types_1.NIL;
+            case 'ForNumeric': {
+                const inner = newScope(scope);
+                declare(inner, statement.varName, types_1.NUMBER, { kind: 'VarDecl' });
+                checkExpr(statement.from, scope, fn, narrow);
+                checkExpr(statement.to, scope, fn, narrow);
+                if (statement.step)
+                    checkExpr(statement.step, scope, fn, narrow);
+                checkBlock(statement.body, inner, fn, narrow);
+                return types_1.NIL;
+            }
+            case 'ForIn': {
+                const inner = newScope(scope);
+                const iter = checkExpr(statement.iter, scope, fn, narrow);
+                const element = iter.kind === 'array' ? iter.element : types_1.ANY;
+                statement.vars.forEach((name, index) => declare(inner, name, index === 0 ? element : types_1.ANY, { kind: 'VarDecl' }));
+                checkBlock(statement.body, inner, fn, narrow);
+                return types_1.NIL;
+            }
+            case 'ReturnStmt': {
+                const values = statement.values.map(value => checkExpr(value, scope, fn, narrow));
+                const type = values.length === 0 ? types_1.NIL : values.length === 1 ? values[0] : (0, types_1.union)(values);
+                if (fn?.returnType && !(0, types_1.isAssignable)(fn.returnType, type)) {
+                    push((0, diagnostics_1.error)('E005', `「${fn.name}」应返回 ${(0, types_1.print)(fn.returnType)}，实际 ${(0, types_1.print)(type)}`, statement.loc));
+                }
+                return type;
+            }
+            case 'ThrowStmt':
+            case 'SpawnStmt':
+                checkExpr(statement.value, scope, fn, narrow);
+                return types_1.NIL;
+            case 'MatchStmt':
+                checkMatch(statement, scope, fn);
+                return types_1.NIL;
+            case 'TryStmt': {
+                checkBlock(statement.body, newScope(scope), fn, narrow);
+                const catchScope = newScope(scope);
+                if (statement.catchVar)
+                    declare(catchScope, statement.catchVar, statement.catchType ? resolveAnn(statement.catchType) : types_1.ANY, { kind: 'VarDecl' });
+                checkBlock(statement.catchBody, catchScope, fn, narrow);
+                checkBlock(statement.finallyBody, newScope(scope), fn, narrow);
+                return types_1.NIL;
+            }
+            case 'ExportDecl':
+                return checkStatement(statement.declaration, scope, fn, narrow);
+            case 'ExportDefault':
+                checkExpr(statement.expr, scope, fn, narrow);
+                return types_1.NIL;
+            case 'TypeAliasDecl':
+                checkTypeKnown(statement.type);
+                return types_1.NIL;
+            case 'ImportDecl':
+                for (const clause of statement.clauses)
+                    declare(scope, clause.alias ?? clause.name, types_1.ANY, { kind: 'VarDecl' });
+                return types_1.NIL;
+            case 'ExprStmt':
+                checkExpr(statement.expr, scope, fn, narrow);
+                return types_1.NIL;
+            case 'BreakStmt':
+            case 'ContinueStmt':
+                return types_1.NIL;
+            default:
+                return types_1.NIL;
+        }
+    };
+    const block = newScope(GLOBAL_SCOPE);
+    for (const statement of program.body)
+        checkStatement(statement, block, null);
+    if (options.reportUnused !== false) {
+        const walkUnused = (scope) => {
+            for (const [name, entry] of scope.vars) {
+                if (!entry.used && !name.startsWith('_') && entry.decl.kind !== 'FnDecl') {
+                    diagnostics.push((0, diagnostics_1.warning)('W001', `声明「${name}」未使用`, entry.decl.loc));
+                }
+            }
+        };
+        walkUnused(block);
+    }
+    return diagnostics;
+}
+function unwrapExport(statement) {
+    return statement.kind === 'ExportDecl' ? statement.declaration : statement;
+}
+function isPattern(target) {
+    return target.kind === 'TablePattern' || target.kind === 'ArrayPattern';
+}
+function isNumeric(type) {
+    return type.kind === 'any' || (type.kind === 'prim' && type.name === 'number');
+}
+function checkBinary(op, left, right, expr, push) {
+    if (op === 'and' || op === 'or')
+        return (0, types_1.union)([left, right]);
+    if (op === '==' || op === '~=' || op === '<' || op === '<=' || op === '>' || op === '>=')
+        return types_1.BOOLEAN;
+    if (op === '..')
+        return types_1.STRING;
+    if (op === '|>')
+        return types_1.ANY;
+    if (op === '??')
+        return (0, types_1.union)([(0, types_1.withoutNil)(left), right]);
+    if (op === '+' && (left.kind === 'prim' && left.name === 'string' || right.kind === 'prim' && right.name === 'string')) {
+        if (!(left.kind === 'prim' && left.name === 'string') || !(right.kind === 'prim' && right.name === 'string')) {
+            push((0, diagnostics_1.error)('E001', `${(0, types_1.print)(left)} 与 ${(0, types_1.print)(right)} 不能相加`, expr.loc, '用 tostring(x) 或 f"{x}" 转成字符串'));
+        }
+        return types_1.STRING;
+    }
+    if (!isNumeric(left) || !isNumeric(right)) {
+        push((0, diagnostics_1.error)('E001', `${(0, types_1.print)(left)} 与 ${(0, types_1.print)(right)} 不能做 ${op} 运算`, expr.loc));
+        return types_1.ANY;
+    }
+    return types_1.NUMBER;
+}
+function narrowCond(cond, condType, scope, narrow, positive) {
+    if (positive && cond.kind === 'Ident') {
+        const next = new Map(narrow ?? []);
+        next.set(cond.name, (0, types_1.withoutNil)(lookup(scope, cond.name)?.type ?? condType));
+        return next;
+    }
+    return narrow;
+}
+function resolveNamed(type, aliases) {
+    if (type.kind === 'named') {
+        const found = aliases.get(type.name);
+        if (found)
+            return { kind: 'named', name: type.name, resolved: found };
+    }
+    if (type.kind === 'array')
+        return { kind: 'array', element: resolveNamed(type.element, aliases) };
+    if (type.kind === 'dict')
+        return { kind: 'dict', key: resolveNamed(type.key, aliases), value: resolveNamed(type.value, aliases) };
+    if (type.kind === 'record') {
+        const fields = new Map();
+        for (const [name, value] of type.fields)
+            fields.set(name, resolveNamed(value, aliases));
+        return { kind: 'record', fields };
+    }
+    if (type.kind === 'fn')
+        return { kind: 'fn', params: type.params.map(p => resolveNamed(p, aliases)), returns: resolveNamed(type.returns, aliases) };
+    if (type.kind === 'union')
+        return (0, types_1.union)(type.types.map(item => resolveNamed(item, aliases)));
+    return type;
+}
+//# sourceMappingURL=checker.js.map

package/lib/checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checker.js","sourceRoot":"","sources":["../src/checker.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AA6DH,sBAsaC;AAldD,+CAAsE;AAmhB7D,sFAnhBA,mBAAK,OAmhBA;AAlhBd,mCAIgB;AAmBhB,MAAM,YAAY,GAAU,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;AAE/C,SAAS,QAAQ,CAAC,MAAa;IAC7B,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;AACpC,CAAC;AAED,SAAS,MAAM,CAAC,KAAY,EAAE,IAAY;IACxC,IAAI,OAAO,GAAsB,KAAK,CAAA;IACtC,OAAO,OAAO,EAAE,CAAC;QACf,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACpC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAA;QACvB,OAAO,GAAG,OAAO,CAAC,MAAM,CAAA;IAC1B,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,SAAS,OAAO,CAAC,KAAY,EAAE,IAAY,EAAE,IAAU,EAAE,IAAkC;IACzF,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AACnD,CAAC;AAED,SAAgB,KAAK,CAAC,OAAgB,EAAE,UAAwB,EAAE;IAChE,MAAM,WAAW,GAAiB,EAAE,CAAA;IACpC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgB,CAAA;IAEvC,+DAA+D;IAC/D,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,CAAC,CAAA;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAA,mBAAW,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;IACnF,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAChD,WAAW,CAAC,IAAI,CAAC,IAAA,mBAAK,EAAC,MAAM,EAAE,QAAQ,IAAI,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA;QACnE,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,CAAC,GAAY,EAAQ,EAAE;QACxC,MAAM,IAAI,GAAG,IAAA,mBAAW,EAAC,GAAG,CAAC,CAAA;QAC7B,OAAO,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IACpC,CAAC,CAAA;IAED,MAAM,IAAI,GAAG,CAAC,IAAgB,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAEzD,MAAM,SAAS,GAAG,CAChB,IAA+C,EAC/C,QAAgB,EAChB,MAAY,EACZ,IAAY,EACZ,MAAM,GAAG,CAAC,EACJ,EAAE;QACR,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO,WAAG,CAAA;QACpC,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAA;QAC/D,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACvD,IAAI,CAAC,IAAA,mBAAK,EAAC,MAAM,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,WAAW,IAAI,CAAC,MAAM,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;YACnF,OAAO,MAAM,CAAC,OAAO,CAAA;QACvB,CAAC;QACD,IAAI,SAAS;YAAE,OAAO,MAAM,CAAC,OAAO,CAAA;QACpC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACrC,IAAI,CAAC,IAAA,oBAAY,EAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBACtC,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAA;gBACpD,IAAI,CAAC,IAAA,mBAAK,EAAC,MAAM,EAAE,KAAK,KAAK,GAAG,CAAC,UAAU,IAAA,aAAK,EAAC,KAAK,CAAC,OAAO,IAAA,aAAK,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;YAC1F,CAAC;QACH,CAAC,CAAC,CAAA;QACF,OAAO,MAAM,CAAC,OAAO,CAAA;IACvB,CAAC,CAAA;IAED,MAAM,cAAc,GAAG,CAAC,GAAY,EAAE,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,EAAE;QACrD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CAAA;YACnE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxD,IAAI,CAAC,IAAA,mBAAK,EAAC,MAAM,EAAE,SAAS,GAAG,CAAC,IAAI,GAAG,EAAE,GAAG,CAAC,CAAC,CAAA;YAChD,CAAC;YACD,OAAM;QACR,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;YAAE,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QACtE,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxB,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACpC,cAAc,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QAC1C,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM;gBAAE,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACrG,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;YAAE,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK;gBAAE,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAA;QACtF,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACtB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,MAAM;gBAAE,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAA;YAC7D,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QAC9C,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;YAAE,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACrE,CAAC,CAAA;IAED,MAAM,SAAS,GAAG,CAAC,IAAU,EAAE,KAAY,EAAE,EAAoB,EAAE,MAA0B,EAAQ,EAAE;QACrG,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,WAAW;gBACd,OAAO,cAAM,CAAA;YACf,KAAK,WAAW;gBACd,IAAI,IAAI,CAAC,KAAK;oBAAE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;wBAAE,IAAI,OAAO,IAAI,KAAK,QAAQ;4BAAE,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC/G,OAAO,cAAM,CAAA;YACf,KAAK,SAAS;gBACZ,OAAO,eAAO,CAAA;YAChB,KAAK,QAAQ;gBACX,OAAO,WAAG,CAAA;YACZ,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,CAAA;gBACzD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;gBACtC,IAAI,CAAC,KAAK;oBAAE,OAAO,WAAG,CAAA;gBACtB,KAAK,CAAC,IAAI,GAAG,IAAI,CAAA;gBACjB,OAAO,KAAK,CAAC,IAAI,CAAA;YACnB,CAAC;YACD,KAAK,UAAU;gBACb,OAAO,WAAG,CAAA;YACZ,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBACxD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;oBAC9C,IAAI,CAAC,KAAK,EAAE,CAAC;wBACX,IAAI,CAAC,IAAA,mBAAK,EAAC,MAAM,EAAE,YAAY,IAAI,CAAC,QAAQ,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;wBAC3D,OAAO,WAAG,CAAA;oBACZ,CAAC;oBACD,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAA,aAAK,EAAC,CAAC,KAAK,EAAE,WAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;gBACpD,CAAC;gBACD,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAG,CAAC,CAAC,CAAC,WAAG,CAAA;YAClC,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBACxD,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBACtD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC5B,IAAI,IAAI,CAAC,OAAO;wBAAE,OAAO,MAAM,CAAA;oBAC/B,IAAI,CAAC,IAAA,oBAAY,EAAC,cAAM,EAAE,KAAK,CAAC,EAAE,CAAC;wBACjC,IAAI,CAAC,IAAA,mBAAK,EAAC,MAAM,EAAE,oBAAoB,IAAA,aAAK,EAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;oBACzE,CAAC;oBACD,OAAO,MAAM,CAAC,OAAO,CAAA;gBACvB,CAAC;gBACD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBAC3B,IAAI,CAAC,IAAA,oBAAY,EAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;wBACrC,IAAI,CAAC,IAAA,mBAAK,EAAC,MAAM,EAAE,SAAS,IAAA,aAAK,EAAC,MAAM,CAAC,GAAG,CAAC,OAAO,IAAA,aAAK,EAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;oBACtF,CAAC;oBACD,OAAO,MAAM,CAAC,KAAK,CAAA;gBACrB,CAAC;gBACD,OAAO,WAAG,CAAA;YACZ,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBACxD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAA;gBACpE,OAAO,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAA;YACjD,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;oBACrB,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;oBACpD,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;wBAC/B,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;wBACxC,OAAO,WAAG,CAAA;oBACZ,CAAC;oBACD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;oBAC9D,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;oBACrF,OAAO,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;gBAChE,CAAC;gBACD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBACpD,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBACtD,OAAO,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;YACtD,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC5D,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC5C,IAAI,CAAC,IAAA,mBAAK,EAAC,MAAM,EAAE,uBAAuB,IAAA,aAAK,EAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;gBAClF,CAAC;gBACD,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK;oBAAE,OAAO,eAAO,CAAA;gBACrC,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;oBAAE,OAAO,cAAM,CAAA;gBAClC,OAAO,QAAQ,CAAA;YACjB,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,MAAM,GAAW,EAAE,CAAA;gBACzB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgB,CAAA;gBACtC,IAAI,UAAU,GAAG,IAAI,CAAA;gBACrB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBAChC,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;oBACvD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;oBAClB,IAAI,KAAK,CAAC,GAAG,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;wBAChC,UAAU,GAAG,KAAK,CAAA;wBAClB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;oBACnC,CAAC;gBACH,CAAC;gBACD,IAAI,UAAU,EAAE,CAAC;oBACf,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAA,aAAK,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAG,EAAE,CAAA;gBACxE,CAAC;gBACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAA;YACnC,CAAC;YACD,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;gBAC7B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBAChC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAG,CAAA;oBACtD,IAAI,KAAK,CAAC,IAAI;wBAAE,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;oBAC1C,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAY,CAAC,CAAA;gBAChE,CAAC;gBACD,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ;oBAC3B,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC;oBAC7C,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC1E,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAG,CAAC,CAAC,EAAE,OAAO,EAAE,CAAA;YACnG,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBACvC,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBACrC,OAAO,WAAG,CAAA;YACZ,CAAC;YACD,KAAK,WAAW;gBACd,OAAO,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;YACpD,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,WAAG,CAAA;YAC1E;gBACE,OAAO,WAAG,CAAA;QACd,CAAC;IACH,CAAC,CAAA;IAED,MAAM,UAAU,GAAG,CAAC,KAAwB,EAAE,KAAY,EAAE,EAAoB,EAAE,MAA0B,EAAQ,EAAE;QACpH,IAAI,CAAC,KAAK;YAAE,OAAO,WAAG,CAAA;QACtB,MAAM,OAAO,GAAW,EAAE,CAAA;QAC1B,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;YACzD,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY;gBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACzD,CAAC;QACD,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAA,aAAK,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,WAAG,CAAA;IAC9C,CAAC,CAAA;IAED,MAAM,WAAW,GAAG,CAAC,OAAgB,EAAE,KAAY,EAAE,EAAE;QACrD,IAAI,OAAO,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACpC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;gBACpC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,GAAG,EAAE,WAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAa,CAAC,CAAA;YAChF,CAAC;YACD,OAAM;QACR,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACpC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,WAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAa,CAAC,CAAA;QAC3D,CAAC;IACH,CAAC,CAAA;IAED,MAAM,WAAW,GAAG,CAAC,SAAiB,EAAE,KAAY,EAAE,EAAoB,EAAE,MAA0B,EAAE,EAAE;QACxG,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAA;QACjF,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;YAC1C,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,WAAG,CAAA;YACtC,IAAI,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtB,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;gBAC1B,OAAM;YACR,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;gBACxC,IAAI,KAAK,EAAE,CAAC;oBACV,IAAI,CAAC,IAAA,oBAAY,EAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;wBACzC,IAAI,CAAC,IAAA,mBAAK,EAAC,MAAM,EAAE,MAAM,MAAM,CAAC,IAAI,MAAM,IAAA,aAAK,EAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAA,aAAK,EAAC,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;oBACrG,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAa,CAAC,CAAA;gBACxE,CAAC;gBACD,OAAM;YACR,CAAC;YACD,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;QACtC,CAAC,CAAC,CAAA;IACJ,CAAC,CAAA;IAED,MAAM,YAAY,GAAG,CAAC,SAAkB,EAAE,KAAY,EAAE,MAA0B,EAAE,EAAE;QACpF,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACvC,IAAI,KAAK,CAAC,IAAI;gBAAE,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YAC1C,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;YAC5D,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YACrC,IAAI,KAAK,EAAE,CAAC;gBACV,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;gBACvD,IAAI,SAAS,IAAI,CAAC,IAAA,oBAAY,EAAC,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC;oBACrD,IAAI,CAAC,IAAA,mBAAK,EAAC,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,QAAQ,IAAA,aAAK,EAAC,SAAS,CAAC,QAAQ,IAAA,aAAK,EAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;gBAClG,CAAC;gBACD,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,IAAI,SAAS,EAAE,SAAS,CAAC,CAAA;gBAC7D,OAAM;YACR,CAAC;YACD,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,CAAA;gBAChD,OAAM;YACR,CAAC;YACD,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,WAAG,EAAE,SAAS,CAAC,CAAA;YAC1C,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;gBACtB,IAAI,CAAC,IAAA,mBAAK,EAAC,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,UAAU,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAA;YAC9D,CAAC;QACH,CAAC,CAAC,CAAA;IACJ,CAAC,CAAA;IAED,MAAM,OAAO,GAAG,CAAC,SAAiB,EAAE,KAAY,EAAE,EAAE;QAClD,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,MAAM;YAAE,IAAI,KAAK,CAAC,IAAI;gBAAE,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAChF,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAG,CAAC,CAAC,CAAA;QACzF,MAAM,cAAc,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QACrF,IAAI,SAAS,CAAC,UAAU;YAAE,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,CAAA;QAE9D,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;QAC7B,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC,CAAA;QAEhG,MAAM,OAAO,GAAc,EAAE,UAAU,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAA;QAC/E,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;YAC5D,IAAI,cAAc,IAAI,CAAC,IAAA,oBAAY,EAAC,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC;gBAC5D,IAAI,CAAC,IAAA,mBAAK,EAAC,MAAM,EAAE,IAAI,SAAS,CAAC,IAAI,QAAQ,IAAA,aAAK,EAAC,cAAc,CAAC,OAAO,IAAA,aAAK,EAAC,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;YACpH,CAAC;YACD,OAAM;QACR,CAAC;QAED,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;QACzD,IAAI,cAAc,IAAI,CAAC,IAAA,oBAAY,EAAC,cAAc,EAAE,MAAM,CAAC,IAAI,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,EAAE,CAAC;YACvH,IAAI,CAAC,IAAA,mBAAK,EAAC,MAAM,EAAE,IAAI,SAAS,CAAC,IAAI,QAAQ,IAAA,aAAK,EAAC,cAAc,CAAC,OAAO,IAAA,aAAK,EAAC,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAA;QAC3G,CAAC;IACH,CAAC,CAAA;IAED,MAAM,UAAU,GAAG,CAAC,SAAoB,EAAE,KAAY,EAAE,EAAE;QACxD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;QAC7B,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACvC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAG,CAAC,CAAC,CAAA;gBACtF,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,WAAG,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC7H,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;YACxB,CAAC;iBAAM,CAAC;gBACN,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;YAC7B,CAAC;QACH,CAAC;QACD,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,EAAE,SAAS,CAAC,CAAA;IACpF,CAAC,CAAA;IAED,MAAM,UAAU,GAAG,CAAC,SAAoB,EAAE,KAAY,EAAE,EAAoB,EAAE,EAAE;QAC9E,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAA;QACvC,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;YAC7B,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ;gBAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAA;YACjE,IAAI,GAAG,CAAC,KAAK;gBAAE,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAA;YAC9C,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAA;QACjC,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ;YAAE,UAAU,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAA;IACnE,CAAC,CAAA;IAED,MAAM,cAAc,GAAG,CAAC,SAAoB,EAAE,KAAY,EAAE,EAAoB,EAAE,MAA0B,EAAQ,EAAE;QACpH,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;YACvB,KAAK,SAAS;gBACZ,YAAY,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;gBACtC,OAAO,WAAG,CAAA;YACZ,KAAK,QAAQ;gBACX,WAAW,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBACzC,OAAO,WAAG,CAAA;YACZ,KAAK,QAAQ;gBACX,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;gBACzB,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAG,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,WAAG,EAAE,EAAE,SAAS,CAAC,CAAA;gBACzM,OAAO,WAAG,CAAA;YACZ,KAAK,WAAW;gBACd,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;gBAC5B,OAAO,WAAG,CAAA;YACZ,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC7D,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAA;gBAC1E,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAA;gBACzD,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;oBACrC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;oBACzC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAA;gBACxD,CAAC;gBACD,IAAI,SAAS,CAAC,IAAI;oBAAE,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC3E,OAAO,WAAG,CAAA;YACZ,CAAC;YACD,KAAK,YAAY;gBACf,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC5C,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBACvD,OAAO,WAAG,CAAA;YACZ,KAAK,WAAW;gBACd,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC5C,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBACvD,OAAO,WAAG,CAAA;YACZ,KAAK,YAAY;gBACf,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBACvD,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC5C,OAAO,WAAG,CAAA;YACZ,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;gBAC7B,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,EAAE,cAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAa,CAAC,CAAA;gBACzE,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC5C,SAAS,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC1C,IAAI,SAAS,CAAC,IAAI;oBAAE,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBAChE,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC7C,OAAO,WAAG,CAAA;YACZ,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;gBAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBACzD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,WAAG,CAAA;gBAC1D,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAa,CAAC,CAAC,CAAA;gBAC1H,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC7C,OAAO,WAAG,CAAA;YACZ,CAAC;YACD,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAA;gBACjF,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,WAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAA,aAAK,EAAC,MAAM,CAAC,CAAA;gBACxF,IAAI,EAAE,EAAE,UAAU,IAAI,CAAC,IAAA,oBAAY,EAAC,EAAE,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,CAAC;oBACzD,IAAI,CAAC,IAAA,mBAAK,EAAC,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,QAAQ,IAAA,aAAK,EAAC,EAAE,CAAC,UAAU,CAAC,OAAO,IAAA,aAAK,EAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAA;gBACjG,CAAC;gBACD,OAAO,IAAI,CAAA;YACb,CAAC;YACD,KAAK,WAAW,CAAC;YACjB,KAAK,WAAW;gBACd,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC7C,OAAO,WAAG,CAAA;YACZ,KAAK,WAAW;gBACd,UAAU,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,CAAA;gBAChC,OAAO,WAAG,CAAA;YACZ,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBACvD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;gBAClC,IAAI,SAAS,CAAC,QAAQ;oBAAE,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,WAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAa,CAAC,CAAA;gBAC5J,UAAU,CAAC,SAAS,CAAC,SAAS,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBACvD,UAAU,CAAC,SAAS,CAAC,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC9D,OAAO,WAAG,CAAA;YACZ,CAAC;YACD,KAAK,YAAY;gBACf,OAAO,cAAc,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;YACjE,KAAK,eAAe;gBAClB,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC5C,OAAO,WAAG,CAAA;YACZ,KAAK,eAAe;gBAClB,cAAc,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;gBAC9B,OAAO,WAAG,CAAA;YACZ,KAAK,YAAY;gBACf,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO;oBAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,EAAE,WAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAa,CAAC,CAAA;gBACxH,OAAO,WAAG,CAAA;YACZ,KAAK,UAAU;gBACb,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;gBAC5C,OAAO,WAAG,CAAA;YACZ,KAAK,WAAW,CAAC;YACjB,KAAK,cAAc;gBACjB,OAAO,WAAG,CAAA;YACZ;gBACE,OAAO,WAAG,CAAA;QACd,CAAC;IACH,CAAC,CAAA;IAED,MAAM,KAAK,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAA;IACpC,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,IAAI;QAAE,cAAc,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAE5E,IAAI,OAAO,CAAC,YAAY,KAAK,KAAK,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,CAAC,KAAY,EAAE,EAAE;YAClC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBACvC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACzE,WAAW,CAAC,IAAI,CAAC,IAAA,qBAAO,EAAC,MAAM,EAAE,MAAM,IAAI,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;gBACrE,CAAC;YACH,CAAC;QACH,CAAC,CAAA;QACD,UAAU,CAAC,KAAK,CAAC,CAAA;IACnB,CAAC;IAED,OAAO,WAAW,CAAA;AACpB,CAAC;AAED,SAAS,YAAY,CAAC,SAAoB;IACxC,OAAO,SAAS,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAA;AAC5E,CAAC;AAED,SAAS,SAAS,CAAC,MAAsB;IACvC,OAAO,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAA;AACzE,CAAC;AAED,SAAS,SAAS,CAAC,IAAU;IAC3B,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAA;AAChF,CAAC;AAED,SAAS,WAAW,CAAC,EAAU,EAAE,IAAU,EAAE,KAAW,EAAE,IAAU,EAAE,IAAgC;IACpG,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,IAAA,aAAK,EAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IAC5D,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,eAAO,CAAA;IACxG,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,cAAM,CAAA;IAC9B,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,WAAG,CAAA;IAC3B,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,IAAA,aAAK,EAAC,CAAC,IAAA,kBAAU,EAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;IACxD,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QACvH,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;YAC7G,IAAI,CAAC,IAAA,mBAAK,EAAC,MAAM,EAAE,GAAG,IAAA,aAAK,EAAC,IAAI,CAAC,MAAM,IAAA,aAAK,EAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,8BAA8B,CAAC,CAAC,CAAA;QACxG,CAAC;QACD,OAAO,cAAM,CAAA;IACf,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,IAAA,mBAAK,EAAC,MAAM,EAAE,GAAG,IAAA,aAAK,EAAC,IAAI,CAAC,MAAM,IAAA,aAAK,EAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;QAC9E,OAAO,WAAG,CAAA;IACZ,CAAC;IACD,OAAO,cAAM,CAAA;AACf,CAAC;AAED,SAAS,UAAU,CACjB,IAAU,EACV,QAAc,EACd,KAAY,EACZ,MAAqC,EACrC,QAAiB;IAEjB,IAAI,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAA;QAClC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAA,kBAAU,EAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAA;QAC3E,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,YAAY,CAAC,IAAU,EAAE,OAA0B;IAC1D,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpC,IAAI,KAAK;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;IACvE,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAA;IACjG,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAA;IACjI,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgB,CAAA;QACtC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;QACvF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAA;IACnC,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAA;IACnJ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAA,aAAK,EAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;IAC5F,OAAO,IAAI,CAAA;AACb,CAAC"}

package/lib/diagnostics.d.ts

@@ -0,0 +1,46 @@
+/**
+ * Spak Lang - Diagnostics (M2)
+ *
+ * Codes and formatting follow `docs/syntax/typecheck.md` §4.
+ */
+import type { Position } from './ast';
+export type Severity = 'error' | 'warning';
+export declare const CODES: {
+    readonly E001: "类型不匹配";
+    readonly E002: "可能为 nil 的值未收窄";
+    readonly E003: "未知类型名";
+    readonly E004: "参数数量或类型不符";
+    readonly E005: "返回值与注解不符";
+    readonly E006: "重复声明或类型别名循环";
+    readonly E007: "访问不存在的字段";
+    readonly W001: "声明未使用";
+    readonly W002: "分支不可达";
+    readonly W003: "隐式 any";
+};
+export type DiagnosticCode = keyof typeof CODES;
+export interface Diagnostic {
+    code: DiagnosticCode;
+    severity: Severity;
+    message: string;
+    loc: Position;
+    /** Optional end column on the same line, for caret width. */
+    endColumn?: number;
+    hint?: string;
+}
+export declare function error(code: DiagnosticCode, message: string, loc: Position, hint?: string): Diagnostic;
+export declare function warning(code: DiagnosticCode, message: string, loc: Position, hint?: string): Diagnostic;
+export interface FormatOptions {
+    /** File name shown in the header. */
+    file?: string;
+    /** Source text, needed to render the offending line. */
+    source?: string;
+    /** Use ANSI colors (default: auto-detect TTY). */
+    color?: boolean;
+}
+/** Render one diagnostic in the compiler-style layout. */
+export declare function formatDiagnostic(diag: Diagnostic, options?: FormatOptions): string;
+export declare function countBySeverity(diagnostics: Diagnostic[]): {
+    errors: number;
+    warnings: number;
+};
+//# sourceMappingURL=diagnostics.d.ts.map

package/lib/diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,OAAO,CAAA;AAErC,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,SAAS,CAAA;AAE1C,eAAO,MAAM,KAAK;;;;;;;;;;;CAWR,CAAA;AAEV,MAAM,MAAM,cAAc,GAAG,MAAM,OAAO,KAAK,CAAA;AAE/C,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,cAAc,CAAA;IACpB,QAAQ,EAAE,QAAQ,CAAA;IAClB,OAAO,EAAE,MAAM,CAAA;IACf,GAAG,EAAE,QAAQ,CAAA;IACb,6DAA6D;IAC7D,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,IAAI,CAAC,EAAE,MAAM,CAAA;CACd;AAED,wBAAgB,KAAK,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAErG;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAEvG;AAED,MAAM,WAAW,aAAa;IAC5B,qCAAqC;IACrC,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,wDAAwD;IACxD,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,kDAAkD;IAClD,KAAK,CAAC,EAAE,OAAO,CAAA;CAChB;AAcD,0DAA0D;AAC1D,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,GAAE,aAAkB,GAAG,MAAM,CAwBtF;AAED,wBAAgB,eAAe,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAQ/F"}