cotx-engine 0.1.0

package/dist/core/parser/type-extractors/csharp.js

@@ -0,0 +1,584 @@
+import { findChild } from '../utils/ast-helpers.js';
+import { extractSimpleTypeName, extractVarName, unwrapAwait, resolveIterableElementType, methodToTypeArgPosition, extractElementTypeFromString, } from './shared.js';
+/** Known container property accessors that operate on the container itself (e.g., dict.Keys, dict.Values) */
+const KNOWN_CONTAINER_PROPS = new Set(['Keys', 'Values']);
+const DECLARATION_NODE_TYPES = new Set([
+    'local_declaration_statement',
+    'variable_declaration',
+    'field_declaration',
+]);
+/** C#: Type x = ...; var x = new Type(); */
+const extractDeclaration = (node, env) => {
+    // C# tree-sitter: local_declaration_statement > variable_declaration > ...
+    // Recursively descend through wrapper nodes
+    for (let i = 0; i < node.namedChildCount; i++) {
+        const child = node.namedChild(i);
+        if (!child)
+            continue;
+        if (child.type === 'variable_declaration' || child.type === 'local_declaration_statement') {
+            extractDeclaration(child, env);
+            return;
+        }
+    }
+    // At variable_declaration level: first child is type, rest are variable_declarators
+    let typeNode = null;
+    const declarators = [];
+    for (let i = 0; i < node.namedChildCount; i++) {
+        const child = node.namedChild(i);
+        if (!child)
+            continue;
+        if (!typeNode && child.type !== 'variable_declarator' && child.type !== 'equals_value_clause') {
+            // First non-declarator child is the type (identifier, implicit_type, generic_name, etc.)
+            typeNode = child;
+        }
+        if (child.type === 'variable_declarator') {
+            declarators.push(child);
+        }
+    }
+    if (!typeNode || declarators.length === 0)
+        return;
+    // Handle 'var x = new Foo()' — infer from object_creation_expression
+    let typeName;
+    if (typeNode.type === 'implicit_type' && typeNode.text === 'var') {
+        // Try to infer from initializer: var x = new Foo()
+        // tree-sitter-c-sharp may put object_creation_expression as direct child
+        // or inside equals_value_clause depending on grammar version
+        if (declarators.length === 1) {
+            const initializer = findChild(declarators[0], 'object_creation_expression') ??
+                findChild(declarators[0], 'equals_value_clause')?.firstNamedChild;
+            if (initializer?.type === 'object_creation_expression') {
+                const ctorType = initializer.childForFieldName('type');
+                if (ctorType)
+                    typeName = extractSimpleTypeName(ctorType);
+            }
+        }
+    }
+    else {
+        typeName = extractSimpleTypeName(typeNode);
+    }
+    if (!typeName)
+        return;
+    for (const decl of declarators) {
+        const nameNode = decl.childForFieldName('name') ?? decl.firstNamedChild;
+        if (nameNode) {
+            const varName = extractVarName(nameNode);
+            if (varName)
+                env.set(varName, typeName);
+        }
+    }
+};
+/** C#: parameter → type name */
+const extractParameter = (node, env) => {
+    let nameNode = null;
+    let typeNode = null;
+    if (node.type === 'parameter') {
+        typeNode = node.childForFieldName('type');
+        nameNode = node.childForFieldName('name');
+    }
+    else {
+        nameNode = node.childForFieldName('name') ?? node.childForFieldName('pattern');
+        typeNode = node.childForFieldName('type');
+    }
+    if (!nameNode || !typeNode)
+        return;
+    const varName = extractVarName(nameNode);
+    const typeName = extractSimpleTypeName(typeNode);
+    if (varName && typeName)
+        env.set(varName, typeName);
+};
+/** C#: var x = SomeFactory(...) → bind x to SomeFactory (constructor-like call) */
+const scanConstructorBinding = (node) => {
+    if (node.type !== 'variable_declaration')
+        return undefined;
+    // Find type and declarator children by iterating (C# grammar doesn't expose 'type' as a named field)
+    let typeNode = null;
+    let declarator = null;
+    for (let i = 0; i < node.namedChildCount; i++) {
+        const child = node.namedChild(i);
+        if (!child)
+            continue;
+        if (child.type === 'variable_declarator') {
+            if (!declarator)
+                declarator = child;
+        }
+        else if (!typeNode) {
+            typeNode = child;
+        }
+    }
+    // Only handle implicit_type (var) — explicit types handled by extractDeclaration
+    if (!typeNode || typeNode.type !== 'implicit_type')
+        return undefined;
+    if (!declarator)
+        return undefined;
+    const nameNode = declarator.childForFieldName('name') ?? declarator.firstNamedChild;
+    if (!nameNode || nameNode.type !== 'identifier')
+        return undefined;
+    // Find the initializer value: either inside equals_value_clause or as a direct child
+    // (tree-sitter-c-sharp puts invocation_expression directly inside variable_declarator)
+    let value = null;
+    for (let i = 0; i < declarator.namedChildCount; i++) {
+        const child = declarator.namedChild(i);
+        if (!child)
+            continue;
+        if (child.type === 'equals_value_clause') {
+            value = child.firstNamedChild;
+            break;
+        }
+        if (child.type === 'invocation_expression' ||
+            child.type === 'object_creation_expression' ||
+            child.type === 'await_expression') {
+            value = child;
+            break;
+        }
+    }
+    if (!value)
+        return undefined;
+    // Unwrap await: `var user = await svc.GetUserAsync()` → await_expression wraps invocation_expression
+    value = unwrapAwait(value);
+    if (!value)
+        return undefined;
+    // Skip object_creation_expression (new User()) — handled by extractInitializer
+    if (value.type === 'object_creation_expression')
+        return undefined;
+    if (value.type !== 'invocation_expression')
+        return undefined;
+    const func = value.firstNamedChild;
+    if (!func)
+        return undefined;
+    const calleeName = extractSimpleTypeName(func);
+    if (!calleeName)
+        return undefined;
+    return { varName: nameNode.text, calleeName };
+};
+const FOR_LOOP_NODE_TYPES = new Set(['foreach_statement']);
+/** Extract element type from a C# type annotation AST node.
+ *  Handles generic_name (List<User>), array_type (User[]), nullable_type (?).
+ *  `pos` selects which type arg: 'first' for keys, 'last' for values (default). */
+const extractCSharpElementTypeFromTypeNode = (typeNode, pos = 'last', depth = 0) => {
+    if (depth > 50)
+        return undefined;
+    // generic_name: List<User>, IEnumerable<User>, Dictionary<string, User>
+    // C# uses generic_name (not generic_type)
+    if (typeNode.type === 'generic_name') {
+        const argList = findChild(typeNode, 'type_argument_list');
+        if (argList && argList.namedChildCount >= 1) {
+            if (pos === 'first') {
+                const firstArg = argList.namedChild(0);
+                if (firstArg)
+                    return extractSimpleTypeName(firstArg);
+            }
+            else {
+                const lastArg = argList.namedChild(argList.namedChildCount - 1);
+                if (lastArg)
+                    return extractSimpleTypeName(lastArg);
+            }
+        }
+    }
+    // array_type: User[]
+    if (typeNode.type === 'array_type') {
+        const elemNode = typeNode.firstNamedChild;
+        if (elemNode)
+            return extractSimpleTypeName(elemNode);
+    }
+    // nullable_type: unwrap and recurse (List<User>? → List<User> → User)
+    if (typeNode.type === 'nullable_type') {
+        const inner = typeNode.firstNamedChild;
+        if (inner)
+            return extractCSharpElementTypeFromTypeNode(inner, pos, depth + 1);
+    }
+    return undefined;
+};
+/** Walk up from a foreach to the enclosing method and search parameters. */
+const findCSharpParamElementType = (iterableName, startNode, pos = 'last') => {
+    let current = startNode.parent;
+    while (current) {
+        if (current.type === 'method_declaration' || current.type === 'local_function_statement') {
+            const paramsNode = current.childForFieldName('parameters');
+            if (paramsNode) {
+                for (let i = 0; i < paramsNode.namedChildCount; i++) {
+                    const param = paramsNode.namedChild(i);
+                    if (!param || param.type !== 'parameter')
+                        continue;
+                    const nameNode = param.childForFieldName('name');
+                    if (nameNode?.text !== iterableName)
+                        continue;
+                    const typeNode = param.childForFieldName('type');
+                    if (typeNode)
+                        return extractCSharpElementTypeFromTypeNode(typeNode, pos);
+                }
+            }
+            break;
+        }
+        current = current.parent;
+    }
+    return undefined;
+};
+/** C#: foreach (User user in users) — extract loop variable binding.
+ *  Tier 1c: for `foreach (var user in users)`, resolves element type from iterable. */
+const extractForLoopBinding = (node, { scopeEnv, declarationTypeNodes, scope, returnTypeLookup }) => {
+    const typeNode = node.childForFieldName('type');
+    const nameNode = node.childForFieldName('left');
+    if (!typeNode || !nameNode)
+        return;
+    const varName = extractVarName(nameNode);
+    if (!varName)
+        return;
+    // Explicit type (existing behavior): foreach (User user in users)
+    if (!(typeNode.type === 'implicit_type' && typeNode.text === 'var')) {
+        const typeName = extractSimpleTypeName(typeNode);
+        if (typeName)
+            scopeEnv.set(varName, typeName);
+        return;
+    }
+    // Tier 1c: implicit type (var) — resolve from iterable's container type
+    const rightNode = node.childForFieldName('right');
+    let iterableName;
+    let methodName;
+    let callExprElementType;
+    if (rightNode?.type === 'identifier') {
+        iterableName = rightNode.text;
+    }
+    else if (rightNode?.type === 'member_access_expression') {
+        // C# property access: data.Keys, data.Values → member_access_expression
+        // Also handles bare member access: this.users, repo.users → use property as iterableName
+        const obj = rightNode.childForFieldName('expression');
+        const prop = rightNode.childForFieldName('name');
+        const propText = prop?.type === 'identifier' ? prop.text : undefined;
+        if (propText && KNOWN_CONTAINER_PROPS.has(propText)) {
+            if (obj?.type === 'identifier') {
+                iterableName = obj.text;
+            }
+            else if (obj?.type === 'member_access_expression') {
+                // Nested member access: this.data.Values → obj is "this.data", extract "data"
+                const innerProp = obj.childForFieldName('name');
+                if (innerProp)
+                    iterableName = innerProp.text;
+            }
+            methodName = propText;
+        }
+        else if (propText) {
+            // Bare member access: this.users → use property name for scopeEnv lookup
+            iterableName = propText;
+        }
+    }
+    else if (rightNode?.type === 'invocation_expression') {
+        // C# method call: data.Select(...) → invocation_expression > member_access_expression
+        // Direct function call: GetUsers() → invocation_expression > identifier
+        const fn = rightNode.firstNamedChild;
+        if (fn?.type === 'member_access_expression') {
+            const obj = fn.childForFieldName('expression');
+            const prop = fn.childForFieldName('name');
+            if (obj?.type === 'identifier')
+                iterableName = obj.text;
+            if (prop?.type === 'identifier')
+                methodName = prop.text;
+        }
+        else if (fn?.type === 'identifier') {
+            // Direct function call: foreach (var u in GetUsers())
+            const rawReturn = returnTypeLookup.lookupRawReturnType(fn.text);
+            if (rawReturn)
+                callExprElementType = extractElementTypeFromString(rawReturn);
+        }
+    }
+    if (!iterableName && !callExprElementType)
+        return;
+    let elementType;
+    if (callExprElementType) {
+        elementType = callExprElementType;
+    }
+    else {
+        const containerTypeName = scopeEnv.get(iterableName);
+        const typeArgPos = methodToTypeArgPosition(methodName, containerTypeName);
+        elementType = resolveIterableElementType(iterableName, node, scopeEnv, declarationTypeNodes, scope, extractCSharpElementTypeFromTypeNode, findCSharpParamElementType, typeArgPos);
+    }
+    if (elementType)
+        scopeEnv.set(varName, elementType);
+};
+/**
+ * C# pattern binding extractor for `obj is Type variable` (type pattern).
+ *
+ * AST structure:
+ *   is_pattern_expression
+ *     expression: (the variable being tested)
+ *     pattern: declaration_pattern
+ *       type: (the declared type)
+ *       name: single_variable_designation > identifier (the new variable name)
+ *
+ * Conservative: returns undefined when the pattern field is absent, is not a
+ * declaration_pattern, or when the type/name cannot be extracted.
+ * No scopeEnv lookup is needed — the pattern explicitly declares the new variable's type.
+ */
+/**
+ * Find the if-body (consequence) block for a C# null-check.
+ * Walks up from the expression to find the enclosing if_statement,
+ * then returns its first block child (the truthy branch body).
+ */
+const findCSharpIfConsequenceBlock = (expr) => {
+    let current = expr.parent;
+    while (current) {
+        if (current.type === 'if_statement') {
+            // C# if_statement consequence is the 'consequence' field or first block child
+            const consequence = current.childForFieldName('consequence');
+            if (consequence)
+                return consequence;
+            for (let i = 0; i < current.childCount; i++) {
+                const child = current.child(i);
+                if (child?.type === 'block')
+                    return child;
+            }
+            return undefined;
+        }
+        if (current.type === 'block' ||
+            current.type === 'method_declaration' ||
+            current.type === 'constructor_declaration' ||
+            current.type === 'local_function_statement' ||
+            current.type === 'lambda_expression')
+            return undefined;
+        current = current.parent;
+    }
+    return undefined;
+};
+/** Check if a C# declaration type node represents a nullable type.
+ *  Checks for nullable_type AST node or '?' in the type text (e.g., User?). */
+const isCSharpNullableDecl = (declTypeNode) => {
+    if (declTypeNode.type === 'nullable_type')
+        return true;
+    return declTypeNode.text.includes('?');
+};
+const extractPatternBinding = (node, scopeEnv, declarationTypeNodes, scope) => {
+    // is_pattern_expression: `obj is User user` — has a declaration_pattern child
+    // Also handles `x is not null` for null-check narrowing
+    if (node.type === 'is_pattern_expression') {
+        const pattern = node.childForFieldName('pattern');
+        if (!pattern)
+            return undefined;
+        // Standard type pattern: `obj is User user`
+        if (pattern.type === 'declaration_pattern' || pattern.type === 'recursive_pattern') {
+            const typeNode = pattern.childForFieldName('type');
+            const nameNode = pattern.childForFieldName('name');
+            if (!typeNode || !nameNode)
+                return undefined;
+            const typeName = extractSimpleTypeName(typeNode);
+            const varName = extractVarName(nameNode);
+            if (!typeName || !varName)
+                return undefined;
+            return { varName, typeName };
+        }
+        // Null-check: `x is not null` — negated_pattern > constant_pattern > null_literal
+        if (pattern.type === 'negated_pattern') {
+            const inner = pattern.firstNamedChild;
+            if (inner?.type === 'constant_pattern') {
+                const literal = inner.firstNamedChild ?? inner.firstChild;
+                if (literal?.type === 'null_literal' || literal?.text === 'null') {
+                    const expr = node.childForFieldName('expression');
+                    if (!expr || expr.type !== 'identifier')
+                        return undefined;
+                    const varName = expr.text;
+                    const resolvedType = scopeEnv.get(varName);
+                    if (!resolvedType)
+                        return undefined;
+                    // Verify the original declaration was nullable
+                    const declTypeNode = declarationTypeNodes.get(`${scope}\0${varName}`);
+                    if (!declTypeNode || !isCSharpNullableDecl(declTypeNode))
+                        return undefined;
+                    const ifBody = findCSharpIfConsequenceBlock(node);
+                    if (!ifBody)
+                        return undefined;
+                    return {
+                        varName,
+                        typeName: resolvedType,
+                        narrowingRange: { startIndex: ifBody.startIndex, endIndex: ifBody.endIndex },
+                    };
+                }
+            }
+        }
+        return undefined;
+    }
+    // declaration_pattern / recursive_pattern: standalone in switch statements and switch expressions
+    // `case User u:` or `User u =>` or `User { Name: "Alice" } u =>`
+    // Both use the same 'type' and 'name' fields.
+    if (node.type === 'declaration_pattern' || node.type === 'recursive_pattern') {
+        const typeNode = node.childForFieldName('type');
+        const nameNode = node.childForFieldName('name');
+        if (!typeNode || !nameNode)
+            return undefined;
+        const typeName = extractSimpleTypeName(typeNode);
+        const varName = extractVarName(nameNode);
+        if (!typeName || !varName)
+            return undefined;
+        return { varName, typeName };
+    }
+    // Null-check: `x != null` — binary_expression with != operator
+    if (node.type === 'binary_expression') {
+        const op = node.children.find((c) => !c.isNamed && c.text === '!=');
+        if (!op)
+            return undefined;
+        const left = node.namedChild(0);
+        const right = node.namedChild(1);
+        if (!left || !right)
+            return undefined;
+        let varNode;
+        if (left.type === 'identifier' && (right.type === 'null_literal' || right.text === 'null')) {
+            varNode = left;
+        }
+        else if (right.type === 'identifier' &&
+            (left.type === 'null_literal' || left.text === 'null')) {
+            varNode = right;
+        }
+        if (!varNode)
+            return undefined;
+        const varName = varNode.text;
+        const resolvedType = scopeEnv.get(varName);
+        if (!resolvedType)
+            return undefined;
+        // Verify the original declaration was nullable
+        const declTypeNode = declarationTypeNodes.get(`${scope}\0${varName}`);
+        if (!declTypeNode || !isCSharpNullableDecl(declTypeNode))
+            return undefined;
+        const ifBody = findCSharpIfConsequenceBlock(node);
+        if (!ifBody)
+            return undefined;
+        return {
+            varName,
+            typeName: resolvedType,
+            narrowingRange: { startIndex: ifBody.startIndex, endIndex: ifBody.endIndex },
+        };
+    }
+    return undefined;
+};
+/** C#: var alias = u → variable_declarator with name + equals_value_clause.
+ *  Only local_declaration_statement and variable_declaration contain variable_declarator children;
+ *  is_pattern_expression and field_declaration never do — skip them early. */
+const extractPendingAssignment = (node, scopeEnv) => {
+    if (node.type === 'is_pattern_expression' || node.type === 'field_declaration')
+        return undefined;
+    for (let i = 0; i < node.namedChildCount; i++) {
+        const child = node.namedChild(i);
+        if (!child || child.type !== 'variable_declarator')
+            continue;
+        const nameNode = child.childForFieldName('name');
+        if (!nameNode)
+            continue;
+        const lhs = nameNode.text;
+        if (scopeEnv.has(lhs))
+            continue;
+        // C# wraps value in equals_value_clause; fall back to last named child
+        let evc = null;
+        for (let j = 0; j < child.childCount; j++) {
+            if (child.child(j)?.type === 'equals_value_clause') {
+                evc = child.child(j);
+                break;
+            }
+        }
+        const valueNode = evc?.firstNamedChild ?? child.namedChild(child.namedChildCount - 1);
+        if (valueNode &&
+            valueNode !== nameNode &&
+            (valueNode.type === 'identifier' || valueNode.type === 'simple_identifier')) {
+            return { kind: 'copy', lhs, rhs: valueNode.text };
+        }
+        // member_access_expression RHS → fieldAccess (a.Field)
+        if (valueNode?.type === 'member_access_expression') {
+            const expr = valueNode.childForFieldName('expression');
+            const name = valueNode.childForFieldName('name');
+            if (expr?.type === 'identifier' && name?.type === 'identifier') {
+                return { kind: 'fieldAccess', lhs, receiver: expr.text, field: name.text };
+            }
+        }
+        // invocation_expression RHS
+        if (valueNode?.type === 'invocation_expression') {
+            const funcNode = valueNode.firstNamedChild;
+            if (funcNode?.type === 'identifier_name' || funcNode?.type === 'identifier') {
+                return { kind: 'callResult', lhs, callee: funcNode.text };
+            }
+            // method call with receiver → methodCallResult: a.GetC()
+            if (funcNode?.type === 'member_access_expression') {
+                const expr = funcNode.childForFieldName('expression');
+                const name = funcNode.childForFieldName('name');
+                if (expr?.type === 'identifier' && name?.type === 'identifier') {
+                    return { kind: 'methodCallResult', lhs, receiver: expr.text, method: name.text };
+                }
+            }
+        }
+        // await_expression → unwrap and check inner
+        if (valueNode?.type === 'await_expression') {
+            const inner = valueNode.firstNamedChild;
+            if (inner?.type === 'invocation_expression') {
+                const funcNode = inner.firstNamedChild;
+                if (funcNode?.type === 'identifier_name' || funcNode?.type === 'identifier') {
+                    return { kind: 'callResult', lhs, callee: funcNode.text };
+                }
+                if (funcNode?.type === 'member_access_expression') {
+                    const expr = funcNode.childForFieldName('expression');
+                    const name = funcNode.childForFieldName('name');
+                    if (expr?.type === 'identifier' && name?.type === 'identifier') {
+                        return { kind: 'methodCallResult', lhs, receiver: expr.text, method: name.text };
+                    }
+                }
+            }
+        }
+    }
+    return undefined;
+};
+/** Infer the type of a literal AST node for C# overload disambiguation. */
+const inferLiteralType = (node) => {
+    switch (node.type) {
+        case 'integer_literal':
+            if (node.text.endsWith('L') || node.text.endsWith('l'))
+                return 'long';
+            return 'int';
+        case 'real_literal':
+            if (node.text.endsWith('f') || node.text.endsWith('F'))
+                return 'float';
+            if (node.text.endsWith('m') || node.text.endsWith('M'))
+                return 'decimal';
+            return 'double';
+        case 'string_literal':
+        case 'verbatim_string_literal':
+        case 'raw_string_literal':
+        case 'interpolated_string_expression':
+            return 'string';
+        case 'character_literal':
+            return 'char';
+        case 'boolean_literal':
+            return 'bool';
+        case 'null_literal':
+            return 'null';
+        default:
+            return undefined;
+    }
+};
+export const typeConfig = {
+    declarationNodeTypes: DECLARATION_NODE_TYPES,
+    getDeclarationTypeNode: (node) => {
+        // C# field_declaration / local_declaration_statement wrap type inside variable_declaration.
+        // Prefer the wrapper node's `type` field when present.
+        const direct = node.childForFieldName('type');
+        if (direct)
+            return direct;
+        const wrapped = node.childForFieldName('declaration') ??
+            (() => {
+                for (let i = 0; i < node.namedChildCount; i++) {
+                    const c = node.namedChild(i);
+                    if (c?.type === 'variable_declaration')
+                        return c;
+                }
+                return null;
+            })();
+        return wrapped?.childForFieldName('type') ?? null;
+    },
+    forLoopNodeTypes: FOR_LOOP_NODE_TYPES,
+    patternBindingNodeTypes: new Set([
+        'is_pattern_expression',
+        'declaration_pattern',
+        'recursive_pattern',
+        'binary_expression',
+    ]),
+    extractDeclaration,
+    extractParameter,
+    scanConstructorBinding,
+    extractForLoopBinding,
+    extractPendingAssignment,
+    extractPatternBinding,
+    inferLiteralType,
+};
+//# sourceMappingURL=csharp.js.map

package/dist/core/parser/type-extractors/csharp.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"csharp.js","sourceRoot":"","sources":["../../../../src/core/parser/type-extractors/csharp.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAmB,MAAM,yBAAyB,CAAC;AAWrE,OAAO,EACL,qBAAqB,EACrB,cAAc,EACd,WAAW,EACX,0BAA0B,EAC1B,uBAAuB,EACvB,4BAA4B,GAE7B,MAAM,aAAa,CAAC;AAErB,6GAA6G;AAC7G,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAE/E,MAAM,sBAAsB,GAAwB,IAAI,GAAG,CAAC;IAC1D,6BAA6B;IAC7B,sBAAsB;IACtB,mBAAmB;CACpB,CAAC,CAAC;AAEH,4CAA4C;AAC5C,MAAM,kBAAkB,GAAyB,CAC/C,IAAgB,EAChB,GAAwB,EAClB,EAAE;IACR,2EAA2E;IAC3E,4CAA4C;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,IAAI,KAAK,CAAC,IAAI,KAAK,sBAAsB,IAAI,KAAK,CAAC,IAAI,KAAK,6BAA6B,EAAE,CAAC;YAC1F,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC/B,OAAO;QACT,CAAC;IACH,CAAC;IAED,oFAAoF;IACpF,IAAI,QAAQ,GAAsB,IAAI,CAAC;IACvC,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,CAAC,KAAK;YAAE,SAAS;QAErB,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,qBAAqB,IAAI,KAAK,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC9F,yFAAyF;YACzF,QAAQ,GAAG,KAAK,CAAC;QACnB,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACzC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,IAAI,CAAC,QAAQ,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAElD,qEAAqE;IACrE,IAAI,QAA4B,CAAC;IACjC,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACjE,mDAAmD;QACnD,yEAAyE;QACzE,6DAA6D;QAC7D,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,MAAM,WAAW,GACf,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,4BAA4B,CAAC;gBACvD,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,qBAAqB,CAAC,EAAE,eAAe,CAAC;YACpE,IAAI,WAAW,EAAE,IAAI,KAAK,4BAA4B,EAAE,CAAC;gBACvD,MAAM,QAAQ,GAAG,WAAW,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBACvD,IAAI,QAAQ;oBAAE,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,CAAC,QAAQ;QAAE,OAAO;IACtB,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC;QACxE,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;YACzC,IAAI,OAAO;gBAAE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,gCAAgC;AAChC,MAAM,gBAAgB,GAAuB,CAAC,IAAgB,EAAE,GAAwB,EAAQ,EAAE;IAChG,IAAI,QAAQ,GAAsB,IAAI,CAAC;IACvC,IAAI,QAAQ,GAAsB,IAAI,CAAC;IAEvC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC1C,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC5C,CAAC;SAAM,CAAC;QACN,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAC/E,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC5C,CAAC;IAED,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ;QAAE,OAAO;IACnC,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,OAAO,IAAI,QAAQ;QAAE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AACtD,CAAC,CAAC;AAEF,mFAAmF;AACnF,MAAM,sBAAsB,GAA8B,CAAC,IAAI,EAAE,EAAE;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB;QAAE,OAAO,SAAS,CAAC;IAC3D,qGAAqG;IACrG,IAAI,QAAQ,GAAsB,IAAI,CAAC;IACvC,IAAI,UAAU,GAAsB,IAAI,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,IAAI,KAAK,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACzC,IAAI,CAAC,UAAU;gBAAE,UAAU,GAAG,KAAK,CAAC;QACtC,CAAC;aAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;YACrB,QAAQ,GAAG,KAAK,CAAC;QACnB,CAAC;IACH,CAAC;IACD,iFAAiF;IACjF,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IACrE,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,QAAQ,GAAG,UAAU,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,eAAe,CAAC;IACpF,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAClE,qFAAqF;IACrF,uFAAuF;IACvF,IAAI,KAAK,GAAsB,IAAI,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,IAAI,KAAK,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACzC,KAAK,GAAG,KAAK,CAAC,eAAe,CAAC;YAC9B,MAAM;QACR,CAAC;QACD,IACE,KAAK,CAAC,IAAI,KAAK,uBAAuB;YACtC,KAAK,CAAC,IAAI,KAAK,4BAA4B;YAC3C,KAAK,CAAC,IAAI,KAAK,kBAAkB,EACjC,CAAC;YACD,KAAK,GAAG,KAAK,CAAC;YACd,MAAM;QACR,CAAC;IACH,CAAC;IACD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,qGAAqG;IACrG,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,+EAA+E;IAC/E,IAAI,KAAK,CAAC,IAAI,KAAK,4BAA4B;QAAE,OAAO,SAAS,CAAC;IAClE,IAAI,KAAK,CAAC,IAAI,KAAK,uBAAuB;QAAE,OAAO,SAAS,CAAC;IAC7D,MAAM,IAAI,GAAG,KAAK,CAAC,eAAe,CAAC;IACnC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC;AAEhF;;mFAEmF;AACnF,MAAM,oCAAoC,GAAG,CAC3C,QAAoB,EACpB,MAAuB,MAAM,EAC7B,KAAK,GAAG,CAAC,EACW,EAAE;IACtB,IAAI,KAAK,GAAG,EAAE;QAAE,OAAO,SAAS,CAAC;IACjC,wEAAwE;IACxE,0CAA0C;IAC1C,IAAI,QAAQ,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC;QAC1D,IAAI,OAAO,IAAI,OAAO,CAAC,eAAe,IAAI,CAAC,EAAE,CAAC;YAC5C,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;gBACpB,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBACvC,IAAI,QAAQ;oBAAE,OAAO,qBAAqB,CAAC,QAAQ,CAAC,CAAC;YACvD,CAAC;iBAAM,CAAC;gBACN,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC;gBAChE,IAAI,OAAO;oBAAE,OAAO,qBAAqB,CAAC,OAAO,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;IACH,CAAC;IACD,qBAAqB;IACrB,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,QAAQ,CAAC,eAAe,CAAC;QAC1C,IAAI,QAAQ;YAAE,OAAO,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IACvD,CAAC;IACD,sEAAsE;IACtE,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,QAAQ,CAAC,eAAe,CAAC;QACvC,IAAI,KAAK;YAAE,OAAO,oCAAoC,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,4EAA4E;AAC5E,MAAM,0BAA0B,GAAG,CACjC,YAAoB,EACpB,SAAqB,EACrB,MAAuB,MAAM,EACT,EAAE;IACtB,IAAI,OAAO,GAAsB,SAAS,CAAC,MAAM,CAAC;IAClD,OAAO,OAAO,EAAE,CAAC;QACf,IAAI,OAAO,CAAC,IAAI,KAAK,oBAAoB,IAAI,OAAO,CAAC,IAAI,KAAK,0BAA0B,EAAE,CAAC;YACzF,MAAM,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;YAC3D,IAAI,UAAU,EAAE,CAAC;gBACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;oBACpD,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBACvC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;wBAAE,SAAS;oBACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBACjD,IAAI,QAAQ,EAAE,IAAI,KAAK,YAAY;wBAAE,SAAS;oBAC9C,MAAM,QAAQ,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBACjD,IAAI,QAAQ;wBAAE,OAAO,oCAAoC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;gBAC3E,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;uFACuF;AACvF,MAAM,qBAAqB,GAAqB,CAC9C,IAAI,EACJ,EAAE,QAAQ,EAAE,oBAAoB,EAAE,KAAK,EAAE,gBAAgB,EAAE,EACrD,EAAE;IACR,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ;QAAE,OAAO;IACnC,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO;QAAE,OAAO;IAErB,kEAAkE;IAClE,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QACpE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QACjD,IAAI,QAAQ;YAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC9C,OAAO;IACT,CAAC;IAED,wEAAwE;IACxE,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAClD,IAAI,YAAgC,CAAC;IACrC,IAAI,UAA8B,CAAC;IACnC,IAAI,mBAAuC,CAAC;IAE5C,IAAI,SAAS,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;QACrC,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC;IAChC,CAAC;SAAM,IAAI,SAAS,EAAE,IAAI,KAAK,0BAA0B,EAAE,CAAC;QAC1D,wEAAwE;QACxE,yFAAyF;QACzF,MAAM,GAAG,GAAG,SAAS,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,SAAS,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QACrE,IAAI,QAAQ,IAAI,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACpD,IAAI,GAAG,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC/B,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC;YAC1B,CAAC;iBAAM,IAAI,GAAG,EAAE,IAAI,KAAK,0BAA0B,EAAE,CAAC;gBACpD,8EAA8E;gBAC9E,MAAM,SAAS,GAAG,GAAG,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBAChD,IAAI,SAAS;oBAAE,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC;YAC/C,CAAC;YACD,UAAU,GAAG,QAAQ,CAAC;QACxB,CAAC;aAAM,IAAI,QAAQ,EAAE,CAAC;YACpB,yEAAyE;YACzE,YAAY,GAAG,QAAQ,CAAC;QAC1B,CAAC;IACH,CAAC;SAAM,IAAI,SAAS,EAAE,IAAI,KAAK,uBAAuB,EAAE,CAAC;QACvD,sFAAsF;QACtF,wEAAwE;QACxE,MAAM,EAAE,GAAG,SAAS,CAAC,eAAe,CAAC;QACrC,IAAI,EAAE,EAAE,IAAI,KAAK,0BAA0B,EAAE,CAAC;YAC5C,MAAM,GAAG,GAAG,EAAE,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,IAAI,GAAG,EAAE,IAAI,KAAK,YAAY;gBAAE,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC;YACxD,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY;gBAAE,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC;QAC1D,CAAC;aAAM,IAAI,EAAE,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;YACrC,sDAAsD;YACtD,MAAM,SAAS,GAAG,gBAAgB,CAAC,mBAAmB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAChE,IAAI,SAAS;gBAAE,mBAAmB,GAAG,4BAA4B,CAAC,SAAS,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IACD,IAAI,CAAC,YAAY,IAAI,CAAC,mBAAmB;QAAE,OAAO;IAElD,IAAI,WAA+B,CAAC;IACpC,IAAI,mBAAmB,EAAE,CAAC;QACxB,WAAW,GAAG,mBAAmB,CAAC;IACpC,CAAC;SAAM,CAAC;QACN,MAAM,iBAAiB,GAAG,QAAQ,CAAC,GAAG,CAAC,YAAa,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,uBAAuB,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;QAC1E,WAAW,GAAG,0BAA0B,CACtC,YAAa,EACb,IAAI,EACJ,QAAQ,EACR,oBAAoB,EACpB,KAAK,EACL,oCAAoC,EACpC,0BAA0B,EAC1B,UAAU,CACX,CAAC;IACJ,CAAC;IACD,IAAI,WAAW;QAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;AACtD,CAAC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH;;;;GAIG;AACH,MAAM,4BAA4B,GAAG,CAAC,IAAgB,EAA0B,EAAE;IAChF,IAAI,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1B,OAAO,OAAO,EAAE,CAAC;QACf,IAAI,OAAO,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACpC,8EAA8E;YAC9E,MAAM,WAAW,GAAG,OAAO,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;YAC7D,IAAI,WAAW;gBAAE,OAAO,WAAW,CAAC;YACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC/B,IAAI,KAAK,EAAE,IAAI,KAAK,OAAO;oBAAE,OAAO,KAAK,CAAC;YAC5C,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IACE,OAAO,CAAC,IAAI,KAAK,OAAO;YACxB,OAAO,CAAC,IAAI,KAAK,oBAAoB;YACrC,OAAO,CAAC,IAAI,KAAK,yBAAyB;YAC1C,OAAO,CAAC,IAAI,KAAK,0BAA0B;YAC3C,OAAO,CAAC,IAAI,KAAK,mBAAmB;YAEpC,OAAO,SAAS,CAAC;QACnB,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;+EAC+E;AAC/E,MAAM,oBAAoB,GAAG,CAAC,YAAwB,EAAW,EAAE;IACjE,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC;IACvD,OAAO,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAA4B,CACrD,IAAI,EACJ,QAAQ,EACR,oBAAoB,EACpB,KAAK,EACL,EAAE;IACF,8EAA8E;IAC9E,wDAAwD;IACxD,IAAI,IAAI,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAClD,IAAI,CAAC,OAAO;YAAE,OAAO,SAAS,CAAC;QAE/B,4CAA4C;QAC5C,IAAI,OAAO,CAAC,IAAI,KAAK,qBAAqB,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACnF,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACnD,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACnD,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ;gBAAE,OAAO,SAAS,CAAC;YAC7C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;YACjD,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;YACzC,IAAI,CAAC,QAAQ,IAAI,CAAC,OAAO;gBAAE,OAAO,SAAS,CAAC;YAC5C,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;QAC/B,CAAC;QAED,kFAAkF;QAClF,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC;YACtC,IAAI,KAAK,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACvC,MAAM,OAAO,GAAG,KAAK,CAAC,eAAe,IAAI,KAAK,CAAC,UAAU,CAAC;gBAC1D,IAAI,OAAO,EAAE,IAAI,KAAK,cAAc,IAAI,OAAO,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;oBACjE,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;oBAClD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;wBAAE,OAAO,SAAS,CAAC;oBAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC;oBAC1B,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;oBAC3C,IAAI,CAAC,YAAY;wBAAE,OAAO,SAAS,CAAC;oBACpC,+CAA+C;oBAC/C,MAAM,YAAY,GAAG,oBAAoB,CAAC,GAAG,CAAC,GAAG,KAAK,KAAK,OAAO,EAAE,CAAC,CAAC;oBACtE,IAAI,CAAC,YAAY,IAAI,CAAC,oBAAoB,CAAC,YAAY,CAAC;wBAAE,OAAO,SAAS,CAAC;oBAC3E,MAAM,MAAM,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;oBAClD,IAAI,CAAC,MAAM;wBAAE,OAAO,SAAS,CAAC;oBAC9B,OAAO;wBACL,OAAO;wBACP,QAAQ,EAAE,YAAY;wBACtB,cAAc,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE;qBAC7E,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,kGAAkG;IAClG,iEAAiE;IACjE,8CAA8C;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QAC7E,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC7C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QACjD,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;QACzC,IAAI,CAAC,QAAQ,IAAI,CAAC,OAAO;YAAE,OAAO,SAAS,CAAC;QAC5C,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAC/B,CAAC;IACD,+DAA+D;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACpE,IAAI,CAAC,EAAE;YAAE,OAAO,SAAS,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,OAA+B,CAAC;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;YAC3F,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;aAAM,IACL,KAAK,CAAC,IAAI,KAAK,YAAY;YAC3B,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,EACtD,CAAC;YACD,OAAO,GAAG,KAAK,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,OAAO,SAAS,CAAC;QAC/B,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;QAC7B,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3C,IAAI,CAAC,YAAY;YAAE,OAAO,SAAS,CAAC;QACpC,+CAA+C;QAC/C,MAAM,YAAY,GAAG,oBAAoB,CAAC,GAAG,CAAC,GAAG,KAAK,KAAK,OAAO,EAAE,CAAC,CAAC;QACtE,IAAI,CAAC,YAAY,IAAI,CAAC,oBAAoB,CAAC,YAAY,CAAC;YAAE,OAAO,SAAS,CAAC;QAC3E,MAAM,MAAM,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,OAAO;YACL,OAAO;YACP,QAAQ,EAAE,YAAY;YACtB,cAAc,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE;SAC7E,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;8EAE8E;AAC9E,MAAM,wBAAwB,GAA+B,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE;IAC9E,IAAI,IAAI,CAAC,IAAI,KAAK,uBAAuB,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB;QAAE,OAAO,SAAS,CAAC;IACjG,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,qBAAqB;YAAE,SAAS;QAC7D,MAAM,QAAQ,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACjD,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC;QAC1B,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAChC,uEAAuE;QACvE,IAAI,GAAG,GAAsB,IAAI,CAAC;QAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBACnD,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACrB,MAAM;YACR,CAAC;QACH,CAAC;QACD,MAAM,SAAS,GAAG,GAAG,EAAE,eAAe,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC;QACtF,IACE,SAAS;YACT,SAAS,KAAK,QAAQ;YACtB,CAAC,SAAS,CAAC,IAAI,KAAK,YAAY,IAAI,SAAS,CAAC,IAAI,KAAK,mBAAmB,CAAC,EAC3E,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;QACpD,CAAC;QACD,uDAAuD;QACvD,IAAI,SAAS,EAAE,IAAI,KAAK,0BAA0B,EAAE,CAAC;YACnD,MAAM,IAAI,GAAG,SAAS,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;YACvD,MAAM,IAAI,GAAG,SAAS,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACjD,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC/D,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7E,CAAC;QACH,CAAC;QACD,4BAA4B;QAC5B,IAAI,SAAS,EAAE,IAAI,KAAK,uBAAuB,EAAE,CAAC;YAChD,MAAM,QAAQ,GAAG,SAAS,CAAC,eAAe,CAAC;YAC3C,IAAI,QAAQ,EAAE,IAAI,KAAK,iBAAiB,IAAI,QAAQ,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC5E,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;YAC5D,CAAC;YACD,yDAAyD;YACzD,IAAI,QAAQ,EAAE,IAAI,KAAK,0BAA0B,EAAE,CAAC;gBAClD,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;gBACtD,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBAChD,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;oBAC/D,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;gBACnF,CAAC;YACH,CAAC;QACH,CAAC;QACD,4CAA4C;QAC5C,IAAI,SAAS,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,SAAS,CAAC,eAAe,CAAC;YACxC,IAAI,KAAK,EAAE,IAAI,KAAK,uBAAuB,EAAE,CAAC;gBAC5C,MAAM,QAAQ,GAAG,KAAK,CAAC,eAAe,CAAC;gBACvC,IAAI,QAAQ,EAAE,IAAI,KAAK,iBAAiB,IAAI,QAAQ,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;oBAC5E,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;gBAC5D,CAAC;gBACD,IAAI,QAAQ,EAAE,IAAI,KAAK,0BAA0B,EAAE,CAAC;oBAClD,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;oBACtD,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBAChD,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;wBAC/D,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;oBACnF,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,2EAA2E;AAC3E,MAAM,gBAAgB,GAAwB,CAAC,IAAI,EAAE,EAAE;IACrD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,iBAAiB;YACpB,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,OAAO,MAAM,CAAC;YACtE,OAAO,KAAK,CAAC;QACf,KAAK,cAAc;YACjB,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,OAAO,OAAO,CAAC;YACvE,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,OAAO,SAAS,CAAC;YACzE,OAAO,QAAQ,CAAC;QAClB,KAAK,gBAAgB,CAAC;QACtB,KAAK,yBAAyB,CAAC;QAC/B,KAAK,oBAAoB,CAAC;QAC1B,KAAK,gCAAgC;YACnC,OAAO,QAAQ,CAAC;QAClB,KAAK,mBAAmB;YACtB,OAAO,MAAM,CAAC;QAChB,KAAK,iBAAiB;YACpB,OAAO,MAAM,CAAC;QAChB,KAAK,cAAc;YACjB,OAAO,MAAM,CAAC;QAChB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAuB;IAC5C,oBAAoB,EAAE,sBAAsB;IAC5C,sBAAsB,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,4FAA4F;QAC5F,uDAAuD;QACvD,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAE1B,MAAM,OAAO,GACX,IAAI,CAAC,iBAAiB,CAAC,aAAa,CAAC;YACrC,CAAC,GAAG,EAAE;gBACJ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC9C,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBAC7B,IAAI,CAAC,EAAE,IAAI,KAAK,sBAAsB;wBAAE,OAAO,CAAC,CAAC;gBACnD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC,CAAC,EAAE,CAAC;QAEP,OAAO,OAAO,EAAE,iBAAiB,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;IACpD,CAAC;IACD,gBAAgB,EAAE,mBAAmB;IACrC,uBAAuB,EAAE,IAAI,GAAG,CAAC;QAC/B,uBAAuB;QACvB,qBAAqB;QACrB,mBAAmB;QACnB,mBAAmB;KACpB,CAAC;IACF,kBAAkB;IAClB,gBAAgB;IAChB,sBAAsB;IACtB,qBAAqB;IACrB,wBAAwB;IACxB,qBAAqB;IACrB,gBAAgB;CACjB,CAAC"}

package/dist/core/parser/type-extractors/dart.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Dart type extractor — full implementation following type-resolution-system.md.
+ *
+ * Tier 0: Explicit type annotations (User user = ...)
+ * Tier 0b: For-loop element types (for (var u in users))
+ * Tier 1: Constructor/initializer inference (var user = User())
+ * Tier 2: Assignment chain propagation (copy, fieldAccess, callResult, methodCallResult)
+ *
+ * Handles tree-sitter-dart's flat sibling AST structure:
+ * identifier + selector + selector (not nested call_expression).
+ *
+ * Credit: Type resolution approach adapted from @xFlaviews' PR #83.
+ */
+import type { LanguageTypeConfig } from './types.js';
+export declare const typeConfig: LanguageTypeConfig;