@zzzen/pyright-internal 1.1.254

package/dist/analyzer/protocols.js

@@ -0,0 +1,409 @@
+"use strict";
+/*
+ * protocols.ts
+ * Copyright (c) Microsoft Corporation.
+ * Licensed under the MIT license.
+ * Author: Eric Traut
+ *
+ * Provides type evaluation logic that is specific to protocol
+ * (structural subtyping) classes.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.assignProtocolClassToSelf = exports.assignModuleToProtocol = exports.assignClassToProtocol = void 0;
+const debug_1 = require("../common/debug");
+const diagnostic_1 = require("../common/diagnostic");
+const localize_1 = require("../localization/localize");
+const properties_1 = require("./properties");
+const types_1 = require("./types");
+const typeUtils_1 = require("./typeUtils");
+const typeVarContext_1 = require("./typeVarContext");
+const protocolAssignmentStack = [];
+// If treatSourceAsInstantiable is true, we're comparing the class object against the
+// protocol. If it's false, we're comparing the class instance against the protocol.
+function assignClassToProtocol(evaluator, destType, srcType, diag, destTypeVarContext, srcTypeVarContext, flags, treatSourceAsInstantiable, recursionCount) {
+    var _a;
+    if (recursionCount > types_1.maxTypeRecursionCount) {
+        return true;
+    }
+    recursionCount++;
+    // Use a stack of pending protocol class evaluations to detect recursion.
+    // This can happen when a protocol class refers to itself.
+    if (protocolAssignmentStack.some((entry) => {
+        return (0, types_1.isTypeSame)(entry.srcType, srcType) && (0, types_1.isTypeSame)(entry.destType, destType);
+    })) {
+        return true;
+    }
+    // See if we've already determined that this class is compatible with this protocol.
+    if (!treatSourceAsInstantiable &&
+        destType.details.typeParameters.length === 0 &&
+        srcType.details.typeParameters.length === 0 &&
+        ((_a = srcType.details.compatibleProtocols) === null || _a === void 0 ? void 0 : _a.has(destType.details.fullName))) {
+        return true;
+    }
+    protocolAssignmentStack.push({ srcType, destType });
+    let isCompatible = true;
+    try {
+        isCompatible = assignClassToProtocolInternal(evaluator, destType, srcType, diag, destTypeVarContext, srcTypeVarContext, flags, treatSourceAsInstantiable, recursionCount);
+    }
+    catch (e) {
+        // We'd normally use "finally" here, but the TS debugger does such
+        // a poor job dealing with finally, we'll use a catch instead.
+        protocolAssignmentStack.pop();
+        throw e;
+    }
+    protocolAssignmentStack.pop();
+    // If the destination protocol is not generic and the source type is not
+    // generic and the two are compatible, cache that information so we can
+    // skip the check next time.
+    if (isCompatible &&
+        !treatSourceAsInstantiable &&
+        destType.details.typeParameters.length === 0 &&
+        srcType.details.typeParameters.length === 0) {
+        if (!srcType.details.compatibleProtocols) {
+            srcType.details.compatibleProtocols = new Set();
+        }
+        srcType.details.compatibleProtocols.add(destType.details.fullName);
+    }
+    return isCompatible;
+}
+exports.assignClassToProtocol = assignClassToProtocol;
+function assignClassToProtocolInternal(evaluator, destType, srcType, diag, destTypeVarContext, srcTypeVarContext, flags, treatSourceAsInstantiable, recursionCount) {
+    if ((flags & 1 /* EnforceInvariance */) !== 0) {
+        return (0, types_1.isTypeSame)(destType, srcType);
+    }
+    // Strip the type arguments off the dest protocol if they are provided.
+    const genericDestType = types_1.ClassType.cloneForSpecialization(destType, undefined, /* isTypeArgumentExplicit */ false);
+    const genericDestTypeVarContext = new typeVarContext_1.TypeVarContext((0, typeUtils_1.getTypeVarScopeId)(destType));
+    const selfTypeVarContext = new typeVarContext_1.TypeVarContext((0, typeUtils_1.getTypeVarScopeId)(destType));
+    (0, typeUtils_1.populateTypeVarContextForSelfType)(selfTypeVarContext, destType, srcType);
+    // If the source is a TypedDict, use the _TypedDict placeholder class
+    // instead. We don't want to use the TypedDict members for protocol
+    // comparison.
+    if (types_1.ClassType.isTypedDictClass(srcType)) {
+        const typedDictClassType = evaluator.getTypedDictClassType();
+        if (typedDictClassType && (0, types_1.isInstantiableClass)(typedDictClassType)) {
+            srcType = typedDictClassType;
+        }
+    }
+    let typesAreConsistent = true;
+    const checkedSymbolSet = new Set();
+    const srcClassTypeVarContext = (0, typeUtils_1.buildTypeVarContextFromSpecializedClass)(srcType);
+    const assignTypeFlags = (0, typeUtils_1.containsLiteralType)(srcType, /* includeTypeArgs */ true)
+        ? 128 /* RetainLiteralsForTypeVar */
+        : 0 /* Default */;
+    destType.details.mro.forEach((mroClass) => {
+        if (!(0, types_1.isInstantiableClass)(mroClass) || !types_1.ClassType.isProtocolClass(mroClass)) {
+            return;
+        }
+        // If we've already determined that the types are not consistent and the caller
+        // hasn't requested detailed diagnostic output, we can shortcut the remainder.
+        if (!typesAreConsistent && !diag) {
+            return;
+        }
+        mroClass.details.fields.forEach((symbol, name) => {
+            // If we've already determined that the types are not consistent and the caller
+            // hasn't requested detailed diagnostic output, we can shortcut the remainder.
+            if (!typesAreConsistent && !diag) {
+                return;
+            }
+            if (symbol.isClassMember() && !symbol.isIgnoredForProtocolMatch() && !checkedSymbolSet.has(name)) {
+                let isMemberFromMetaclass = false;
+                let srcMemberInfo;
+                // Special-case the `__class_getitem__` for normal protocol comparison.
+                // This is a convention agreed upon by typeshed maintainers.
+                if (!treatSourceAsInstantiable && name === '__class_getitem__') {
+                    return;
+                }
+                // Special-case the `__slots__` entry for all protocol comparisons.
+                // This is a convention agreed upon by typeshed maintainers.
+                if (name === '__slots__') {
+                    return;
+                }
+                // Note that we've already checked this symbol. It doesn't need to
+                // be checked again even if it is declared by a subclass.
+                checkedSymbolSet.add(name);
+                // Look in the metaclass first if we're treating the source as an instantiable class.
+                if (treatSourceAsInstantiable &&
+                    srcType.details.effectiveMetaclass &&
+                    (0, types_1.isInstantiableClass)(srcType.details.effectiveMetaclass)) {
+                    srcMemberInfo = (0, typeUtils_1.lookUpClassMember)(srcType.details.effectiveMetaclass, name);
+                    if (srcMemberInfo) {
+                        srcClassTypeVarContext.addSolveForScope((0, typeUtils_1.getTypeVarScopeId)(srcType.details.effectiveMetaclass));
+                        isMemberFromMetaclass = true;
+                    }
+                }
+                if (!srcMemberInfo) {
+                    srcMemberInfo = (0, typeUtils_1.lookUpClassMember)(srcType, name);
+                }
+                if (!srcMemberInfo) {
+                    diag === null || diag === void 0 ? void 0 : diag.addMessage(localize_1.Localizer.DiagnosticAddendum.protocolMemberMissing().format({ name }));
+                    typesAreConsistent = false;
+                }
+                else {
+                    let destMemberType = evaluator.getDeclaredTypeOfSymbol(symbol);
+                    if (destMemberType) {
+                        // Partially specialize the type of the symbol based on the MRO class.
+                        // We can skip this if it's the dest class because it is already
+                        // specialized.
+                        if (!types_1.ClassType.isSameGenericClass(mroClass, destType)) {
+                            destMemberType = (0, typeUtils_1.partiallySpecializeType)(destMemberType, mroClass);
+                        }
+                        let srcMemberType;
+                        if ((0, types_1.isInstantiableClass)(srcMemberInfo.classType)) {
+                            const symbolType = evaluator.getEffectiveTypeOfSymbol(srcMemberInfo.symbol);
+                            // If this is a function, infer its return type prior to specializing it.
+                            if ((0, types_1.isFunction)(symbolType)) {
+                                evaluator.inferReturnTypeIfNecessary(symbolType);
+                            }
+                            srcMemberType = (0, typeUtils_1.partiallySpecializeType)(symbolType, srcMemberInfo.classType, srcType);
+                        }
+                        else {
+                            srcMemberType = types_1.UnknownType.create();
+                        }
+                        if ((0, types_1.isFunction)(srcMemberType) || (0, types_1.isOverloadedFunction)(srcMemberType)) {
+                            if (isMemberFromMetaclass) {
+                                const boundSrcFunction = evaluator.bindFunctionToClassOrObject(srcType, srcMemberType, 
+                                /* memberClass */ undefined, 
+                                /* errorNode */ undefined, recursionCount, 
+                                /* treatConstructorAsClassMember */ false, srcType);
+                                if (boundSrcFunction) {
+                                    srcMemberType = (0, typeUtils_1.removeParamSpecVariadicsFromSignature)(boundSrcFunction);
+                                }
+                                if ((0, types_1.isFunction)(destMemberType) || (0, types_1.isOverloadedFunction)(destMemberType)) {
+                                    const boundDeclaredType = evaluator.bindFunctionToClassOrObject(srcType, destMemberType, 
+                                    /* memberClass */ undefined, 
+                                    /* errorNode */ undefined, recursionCount, 
+                                    /* treatConstructorAsClassMember */ false, srcType);
+                                    if (boundDeclaredType) {
+                                        destMemberType = (0, typeUtils_1.removeParamSpecVariadicsFromSignature)(boundDeclaredType);
+                                    }
+                                }
+                            }
+                            else if ((0, types_1.isInstantiableClass)(srcMemberInfo.classType)) {
+                                // Replace any "Self" TypeVar within the dest with the source type.
+                                destMemberType = (0, typeUtils_1.applySolvedTypeVars)(destMemberType, selfTypeVarContext);
+                                const boundSrcFunction = evaluator.bindFunctionToClassOrObject(treatSourceAsInstantiable ? srcType : types_1.ClassType.cloneAsInstance(srcType), srcMemberType, srcMemberInfo.classType, 
+                                /* errorNode */ undefined, recursionCount);
+                                if (boundSrcFunction) {
+                                    srcMemberType = (0, typeUtils_1.removeParamSpecVariadicsFromSignature)(boundSrcFunction);
+                                }
+                                if ((0, types_1.isFunction)(destMemberType) || (0, types_1.isOverloadedFunction)(destMemberType)) {
+                                    const boundDeclaredType = evaluator.bindFunctionToClassOrObject(types_1.ClassType.cloneAsInstance(srcType), destMemberType, srcMemberInfo.classType, 
+                                    /* errorNode */ undefined, recursionCount);
+                                    if (boundDeclaredType) {
+                                        destMemberType = (0, typeUtils_1.removeParamSpecVariadicsFromSignature)(boundDeclaredType);
+                                    }
+                                }
+                            }
+                        }
+                        else {
+                            // Replace any "Self" TypeVar within the dest with the source type.
+                            destMemberType = (0, typeUtils_1.applySolvedTypeVars)(destMemberType, selfTypeVarContext);
+                        }
+                        const subDiag = diag === null || diag === void 0 ? void 0 : diag.createAddendum();
+                        // Properties require special processing.
+                        if ((0, types_1.isClassInstance)(destMemberType) && types_1.ClassType.isPropertyClass(destMemberType)) {
+                            if ((0, types_1.isClassInstance)(srcMemberType) &&
+                                types_1.ClassType.isPropertyClass(srcMemberType) &&
+                                !treatSourceAsInstantiable) {
+                                if (!(0, properties_1.assignProperty)(evaluator, types_1.ClassType.cloneAsInstantiable(destMemberType), types_1.ClassType.cloneAsInstantiable(srcMemberType), mroClass, srcType, subDiag === null || subDiag === void 0 ? void 0 : subDiag.createAddendum(), genericDestTypeVarContext, selfTypeVarContext, recursionCount)) {
+                                    if (subDiag) {
+                                        subDiag.addMessage(localize_1.Localizer.DiagnosticAddendum.memberTypeMismatch().format({ name }));
+                                    }
+                                    typesAreConsistent = false;
+                                }
+                            }
+                            else {
+                                // Extract the property type from the property class.
+                                const getterType = evaluator.getGetterTypeFromProperty(destMemberType, 
+                                /* inferTypeIfNeeded */ true);
+                                if (!getterType ||
+                                    !evaluator.assignType(getterType, srcMemberType, subDiag === null || subDiag === void 0 ? void 0 : subDiag.createAddendum(), genericDestTypeVarContext, 
+                                    /* srcTypeVarContext */ undefined, assignTypeFlags, recursionCount)) {
+                                    if (subDiag) {
+                                        subDiag.addMessage(localize_1.Localizer.DiagnosticAddendum.memberTypeMismatch().format({ name }));
+                                    }
+                                    typesAreConsistent = false;
+                                }
+                            }
+                        }
+                        else {
+                            // Class and instance variables that are mutable need to
+                            // enforce invariance.
+                            const primaryDecl = symbol.getDeclarations()[0];
+                            const isInvariant = (primaryDecl === null || primaryDecl === void 0 ? void 0 : primaryDecl.type) === 1 /* Variable */ && !primaryDecl.isFinal;
+                            if (!evaluator.assignType(destMemberType, srcMemberType, subDiag === null || subDiag === void 0 ? void 0 : subDiag.createAddendum(), genericDestTypeVarContext, 
+                            /* srcTypeVarContext */ undefined, isInvariant ? assignTypeFlags | 1 /* EnforceInvariance */ : assignTypeFlags, recursionCount)) {
+                                if (subDiag) {
+                                    if (isInvariant) {
+                                        subDiag.addMessage(localize_1.Localizer.DiagnosticAddendum.memberIsInvariant().format({ name }));
+                                    }
+                                    subDiag.addMessage(localize_1.Localizer.DiagnosticAddendum.memberTypeMismatch().format({ name }));
+                                }
+                                typesAreConsistent = false;
+                            }
+                        }
+                        const isDestFinal = symbol
+                            .getTypedDeclarations()
+                            .some((decl) => decl.type === 1 /* Variable */ && !!decl.isFinal);
+                        const isSrcFinal = srcMemberInfo.symbol
+                            .getTypedDeclarations()
+                            .some((decl) => decl.type === 1 /* Variable */ && !!decl.isFinal);
+                        if (isDestFinal !== isSrcFinal) {
+                            if (isDestFinal) {
+                                if (subDiag) {
+                                    subDiag.addMessage(localize_1.Localizer.DiagnosticAddendum.memberIsFinalInProtocol().format({ name }));
+                                }
+                            }
+                            else {
+                                if (subDiag) {
+                                    subDiag.addMessage(localize_1.Localizer.DiagnosticAddendum.memberIsNotFinalInProtocol().format({ name }));
+                                }
+                            }
+                            typesAreConsistent = false;
+                        }
+                    }
+                    if (symbol.isClassVar() && !srcMemberInfo.symbol.isClassMember()) {
+                        diag === null || diag === void 0 ? void 0 : diag.addMessage(localize_1.Localizer.DiagnosticAddendum.protocolMemberClassVar().format({ name }));
+                        typesAreConsistent = false;
+                    }
+                }
+            }
+        });
+    });
+    // If the dest protocol has type parameters, make sure the source type arguments match.
+    if (typesAreConsistent && destType.details.typeParameters.length > 0 && destType.typeArguments) {
+        // Create a specialized version of the protocol defined by the dest and
+        // make sure the resulting type args can be assigned.
+        const specializedDestProtocol = (0, typeUtils_1.applySolvedTypeVars)(genericDestType, genericDestTypeVarContext);
+        if (!evaluator.verifyTypeArgumentsAssignable(destType, specializedDestProtocol, diag, destTypeVarContext, srcTypeVarContext, flags, recursionCount)) {
+            typesAreConsistent = false;
+        }
+    }
+    return typesAreConsistent;
+}
+function assignModuleToProtocol(evaluator, destType, srcType, diag, typeVarContext, flags, recursionCount) {
+    if (recursionCount > types_1.maxTypeRecursionCount) {
+        return true;
+    }
+    recursionCount++;
+    let typesAreConsistent = true;
+    const checkedSymbolSet = new Set();
+    // Strip the type arguments off the dest protocol if they are provided.
+    const genericDestType = types_1.ClassType.cloneForSpecialization(destType, undefined, /* isTypeArgumentExplicit */ false);
+    const genericDestTypeVarContext = new typeVarContext_1.TypeVarContext((0, typeUtils_1.getTypeVarScopeId)(destType));
+    destType.details.mro.forEach((mroClass) => {
+        if (!(0, types_1.isInstantiableClass)(mroClass) || !types_1.ClassType.isProtocolClass(mroClass)) {
+            return;
+        }
+        mroClass.details.fields.forEach((symbol, name) => {
+            if (symbol.isClassMember() && !symbol.isIgnoredForProtocolMatch() && !checkedSymbolSet.has(name)) {
+                // Note that we've already checked this symbol. It doesn't need to
+                // be checked again even if it is declared by a subclass.
+                checkedSymbolSet.add(name);
+                const memberSymbol = srcType.fields.get(name);
+                if (!memberSymbol) {
+                    diag === null || diag === void 0 ? void 0 : diag.addMessage(localize_1.Localizer.DiagnosticAddendum.protocolMemberMissing().format({ name }));
+                    typesAreConsistent = false;
+                }
+                else {
+                    let destMemberType = evaluator.getDeclaredTypeOfSymbol(symbol);
+                    if (destMemberType) {
+                        destMemberType = (0, typeUtils_1.partiallySpecializeType)(destMemberType, destType);
+                        const srcMemberType = evaluator.getEffectiveTypeOfSymbol(memberSymbol);
+                        if ((0, types_1.isFunction)(srcMemberType) || (0, types_1.isOverloadedFunction)(srcMemberType)) {
+                            if ((0, types_1.isFunction)(destMemberType) || (0, types_1.isOverloadedFunction)(destMemberType)) {
+                                const boundDeclaredType = evaluator.bindFunctionToClassOrObject(types_1.ClassType.cloneAsInstance(destType), destMemberType, destType, 
+                                /* errorNode */ undefined, recursionCount);
+                                if (boundDeclaredType) {
+                                    destMemberType = boundDeclaredType;
+                                }
+                            }
+                        }
+                        const subDiag = diag === null || diag === void 0 ? void 0 : diag.createAddendum();
+                        if (!evaluator.assignType(destMemberType, srcMemberType, subDiag === null || subDiag === void 0 ? void 0 : subDiag.createAddendum(), genericDestTypeVarContext, 
+                        /* srcTypeVarContext */ undefined, 0 /* Default */, recursionCount)) {
+                            if (subDiag) {
+                                subDiag.addMessage(localize_1.Localizer.DiagnosticAddendum.memberTypeMismatch().format({ name }));
+                            }
+                            typesAreConsistent = false;
+                        }
+                    }
+                }
+            }
+        });
+    });
+    // If the dest protocol has type parameters, make sure the source type arguments match.
+    if (typesAreConsistent && destType.details.typeParameters.length > 0 && destType.typeArguments) {
+        // Create a specialized version of the protocol defined by the dest and
+        // make sure the resulting type args can be assigned.
+        const specializedSrcProtocol = (0, typeUtils_1.applySolvedTypeVars)(genericDestType, genericDestTypeVarContext);
+        if (!evaluator.verifyTypeArgumentsAssignable(destType, specializedSrcProtocol, diag, typeVarContext, 
+        /* srcTypeVarContext */ undefined, flags, recursionCount)) {
+            typesAreConsistent = false;
+        }
+    }
+    return typesAreConsistent;
+}
+exports.assignModuleToProtocol = assignModuleToProtocol;
+// This function is used to validate the variance of type variables
+// within a protocol class.
+function assignProtocolClassToSelf(evaluator, destType, srcType, recursionCount = 0) {
+    (0, debug_1.assert)(types_1.ClassType.isProtocolClass(destType));
+    (0, debug_1.assert)(types_1.ClassType.isProtocolClass(srcType));
+    (0, debug_1.assert)(types_1.ClassType.isSameGenericClass(destType, srcType));
+    (0, debug_1.assert)(destType.details.typeParameters.length > 0);
+    const diag = new diagnostic_1.DiagnosticAddendum();
+    const typeVarContext = new typeVarContext_1.TypeVarContext();
+    let isAssignable = true;
+    destType.details.fields.forEach((symbol, name) => {
+        if (isAssignable && symbol.isClassMember() && !symbol.isIgnoredForProtocolMatch()) {
+            const memberInfo = (0, typeUtils_1.lookUpClassMember)(srcType, name);
+            (0, debug_1.assert)(memberInfo !== undefined);
+            let destMemberType = evaluator.getDeclaredTypeOfSymbol(symbol);
+            if (destMemberType) {
+                const srcMemberType = evaluator.getTypeOfMember(memberInfo);
+                destMemberType = (0, typeUtils_1.partiallySpecializeType)(destMemberType, destType);
+                // Properties require special processing.
+                if ((0, types_1.isClassInstance)(destMemberType) &&
+                    types_1.ClassType.isPropertyClass(destMemberType) &&
+                    (0, types_1.isClassInstance)(srcMemberType) &&
+                    types_1.ClassType.isPropertyClass(srcMemberType)) {
+                    if (!(0, properties_1.assignProperty)(evaluator, types_1.ClassType.cloneAsInstantiable(destMemberType), types_1.ClassType.cloneAsInstantiable(srcMemberType), destType, srcType, diag, typeVarContext, 
+                    /* selfTypeVarContext */ undefined, recursionCount)) {
+                        isAssignable = false;
+                    }
+                }
+                else {
+                    const primaryDecl = symbol.getDeclarations()[0];
+                    // Class and instance variables that are mutable need to
+                    // enforce invariance.
+                    const flags = (primaryDecl === null || primaryDecl === void 0 ? void 0 : primaryDecl.type) === 1 /* Variable */ && !primaryDecl.isFinal
+                        ? 1 /* EnforceInvariance */
+                        : 0 /* Default */;
+                    if (!evaluator.assignType(destMemberType, srcMemberType, diag, typeVarContext, 
+                    /* srcTypeVarContext */ undefined, flags, recursionCount)) {
+                        isAssignable = false;
+                    }
+                }
+            }
+        }
+    });
+    // Now handle generic base classes.
+    destType.details.baseClasses.forEach((baseClass) => {
+        if ((0, types_1.isInstantiableClass)(baseClass) &&
+            types_1.ClassType.isProtocolClass(baseClass) &&
+            !types_1.ClassType.isBuiltIn(baseClass, 'object') &&
+            !types_1.ClassType.isBuiltIn(baseClass, 'Protocol') &&
+            baseClass.details.typeParameters.length > 0) {
+            const specializedDestBaseClass = (0, typeUtils_1.specializeForBaseClass)(destType, baseClass);
+            const specializedSrcBaseClass = (0, typeUtils_1.specializeForBaseClass)(srcType, baseClass);
+            if (!assignProtocolClassToSelf(evaluator, specializedDestBaseClass, specializedSrcBaseClass, recursionCount)) {
+                isAssignable = false;
+            }
+        }
+    });
+    return isAssignable;
+}
+exports.assignProtocolClassToSelf = assignProtocolClassToSelf;
+//# sourceMappingURL=protocols.js.map

package/dist/analyzer/protocols.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocols.js","sourceRoot":"","sources":["../../../src/analyzer/protocols.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAEH,2CAAyC;AACzC,qDAA0D;AAC1D,uDAAqD;AAErD,6CAA8C;AAE9C,mCAWiB;AACjB,2CAYqB;AACrB,qDAAkD;AAOlD,MAAM,uBAAuB,GAAmC,EAAE,CAAC;AAEnE,qFAAqF;AACrF,oFAAoF;AACpF,SAAgB,qBAAqB,CACjC,SAAwB,EACxB,QAAmB,EACnB,OAAkB,EAClB,IAAoC,EACpC,kBAA8C,EAC9C,iBAA6C,EAC7C,KAAsB,EACtB,yBAAkC,EAClC,cAAsB;;IAEtB,IAAI,cAAc,GAAG,6BAAqB,EAAE;QACxC,OAAO,IAAI,CAAC;KACf;IACD,cAAc,EAAE,CAAC;IAEjB,yEAAyE;IACzE,0DAA0D;IAC1D,IACI,uBAAuB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;QACnC,OAAO,IAAA,kBAAU,EAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,IAAA,kBAAU,EAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACtF,CAAC,CAAC,EACJ;QACE,OAAO,IAAI,CAAC;KACf;IAED,oFAAoF;IACpF,IACI,CAAC,yBAAyB;QAC1B,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;QAC5C,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;SAC3C,MAAA,OAAO,CAAC,OAAO,CAAC,mBAAmB,0CAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA,EACrE;QACE,OAAO,IAAI,CAAC;KACf;IAED,uBAAuB,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;IACpD,IAAI,YAAY,GAAG,IAAI,CAAC;IAExB,IAAI;QACA,YAAY,GAAG,6BAA6B,CACxC,SAAS,EACT,QAAQ,EACR,OAAO,EACP,IAAI,EACJ,kBAAkB,EAClB,iBAAiB,EACjB,KAAK,EACL,yBAAyB,EACzB,cAAc,CACjB,CAAC;KACL;IAAC,OAAO,CAAC,EAAE;QACR,kEAAkE;QAClE,8DAA8D;QAC9D,uBAAuB,CAAC,GAAG,EAAE,CAAC;QAC9B,MAAM,CAAC,CAAC;KACX;IAED,uBAAuB,CAAC,GAAG,EAAE,CAAC;IAE9B,wEAAwE;IACxE,uEAAuE;IACvE,4BAA4B;IAC5B,IACI,YAAY;QACZ,CAAC,yBAAyB;QAC1B,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;QAC5C,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EAC7C;QACE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,EAAE;YACtC,OAAO,CAAC,OAAO,CAAC,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;SAC3D;QAED,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;KACtE;IAED,OAAO,YAAY,CAAC;AACxB,CAAC;AA7ED,sDA6EC;AAED,SAAS,6BAA6B,CAClC,SAAwB,EACxB,QAAmB,EACnB,OAAkB,EAClB,IAAoC,EACpC,kBAA8C,EAC9C,iBAA6C,EAC7C,KAAsB,EACtB,yBAAkC,EAClC,cAAsB;IAEtB,IAAI,CAAC,KAAK,4BAAoC,CAAC,KAAK,CAAC,EAAE;QACnD,OAAO,IAAA,kBAAU,EAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;KACxC;IAED,uEAAuE;IACvE,MAAM,eAAe,GAAG,iBAAS,CAAC,sBAAsB,CAAC,QAAQ,EAAE,SAAS,EAAE,4BAA4B,CAAC,KAAK,CAAC,CAAC;IAClH,MAAM,yBAAyB,GAAG,IAAI,+BAAc,CAAC,IAAA,6BAAiB,EAAC,QAAQ,CAAC,CAAC,CAAC;IAElF,MAAM,kBAAkB,GAAG,IAAI,+BAAc,CAAC,IAAA,6BAAiB,EAAC,QAAQ,CAAC,CAAC,CAAC;IAC3E,IAAA,6CAAiC,EAAC,kBAAkB,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAEzE,qEAAqE;IACrE,mEAAmE;IACnE,cAAc;IACd,IAAI,iBAAS,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE;QACrC,MAAM,kBAAkB,GAAG,SAAS,CAAC,qBAAqB,EAAE,CAAC;QAC7D,IAAI,kBAAkB,IAAI,IAAA,2BAAmB,EAAC,kBAAkB,CAAC,EAAE;YAC/D,OAAO,GAAG,kBAAkB,CAAC;SAChC;KACJ;IAED,IAAI,kBAAkB,GAAG,IAAI,CAAC;IAC9B,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,MAAM,sBAAsB,GAAG,IAAA,mDAAuC,EAAC,OAAO,CAAC,CAAC;IAChF,MAAM,eAAe,GAAG,IAAA,+BAAmB,EAAC,OAAO,EAAE,qBAAqB,CAAC,IAAI,CAAC;QAC5E,CAAC;QACD,CAAC,gBAAwB,CAAC;IAE9B,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;QACtC,IAAI,CAAC,IAAA,2BAAmB,EAAC,QAAQ,CAAC,IAAI,CAAC,iBAAS,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE;YACxE,OAAO;SACV;QAED,+EAA+E;QAC/E,8EAA8E;QAC9E,IAAI,CAAC,kBAAkB,IAAI,CAAC,IAAI,EAAE;YAC9B,OAAO;SACV;QAED,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;YAC7C,+EAA+E;YAC/E,8EAA8E;YAC9E,IAAI,CAAC,kBAAkB,IAAI,CAAC,IAAI,EAAE;gBAC9B,OAAO;aACV;YAED,IAAI,MAAM,CAAC,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,yBAAyB,EAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;gBAC9F,IAAI,qBAAqB,GAAG,KAAK,CAAC;gBAClC,IAAI,aAAsC,CAAC;gBAE3C,uEAAuE;gBACvE,4DAA4D;gBAC5D,IAAI,CAAC,yBAAyB,IAAI,IAAI,KAAK,mBAAmB,EAAE;oBAC5D,OAAO;iBACV;gBAED,mEAAmE;gBACnE,4DAA4D;gBAC5D,IAAI,IAAI,KAAK,WAAW,EAAE;oBACtB,OAAO;iBACV;gBAED,kEAAkE;gBAClE,yDAAyD;gBACzD,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAE3B,qFAAqF;gBACrF,IACI,yBAAyB;oBACzB,OAAO,CAAC,OAAO,CAAC,kBAAkB;oBAClC,IAAA,2BAAmB,EAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,EACzD;oBACE,aAAa,GAAG,IAAA,6BAAiB,EAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,EAAE,IAAI,CAAC,CAAC;oBAC5E,IAAI,aAAa,EAAE;wBACf,sBAAsB,CAAC,gBAAgB,CAAC,IAAA,6BAAiB,EAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC;wBAC/F,qBAAqB,GAAG,IAAI,CAAC;qBAChC;iBACJ;gBAED,IAAI,CAAC,aAAa,EAAE;oBAChB,aAAa,GAAG,IAAA,6BAAiB,EAAC,OAAO,EAAE,IAAI,CAAC,CAAC;iBACpD;gBAED,IAAI,CAAC,aAAa,EAAE;oBAChB,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CAAC,oBAAS,CAAC,kBAAkB,CAAC,qBAAqB,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;oBACxF,kBAAkB,GAAG,KAAK,CAAC;iBAC9B;qBAAM;oBACH,IAAI,cAAc,GAAG,SAAS,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;oBAC/D,IAAI,cAAc,EAAE;wBAChB,sEAAsE;wBACtE,gEAAgE;wBAChE,eAAe;wBACf,IAAI,CAAC,iBAAS,CAAC,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE;4BACnD,cAAc,GAAG,IAAA,mCAAuB,EAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;yBACtE;wBAED,IAAI,aAAmB,CAAC;wBACxB,IAAI,IAAA,2BAAmB,EAAC,aAAa,CAAC,SAAS,CAAC,EAAE;4BAC9C,MAAM,UAAU,GAAG,SAAS,CAAC,wBAAwB,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;4BAE5E,yEAAyE;4BACzE,IAAI,IAAA,kBAAU,EAAC,UAAU,CAAC,EAAE;gCACxB,SAAS,CAAC,0BAA0B,CAAC,UAAU,CAAC,CAAC;6BACpD;4BAED,aAAa,GAAG,IAAA,mCAAuB,EAAC,UAAU,EAAE,aAAa,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;yBACzF;6BAAM;4BACH,aAAa,GAAG,mBAAW,CAAC,MAAM,EAAE,CAAC;yBACxC;wBAED,IAAI,IAAA,kBAAU,EAAC,aAAa,CAAC,IAAI,IAAA,4BAAoB,EAAC,aAAa,CAAC,EAAE;4BAClE,IAAI,qBAAqB,EAAE;gCACvB,MAAM,gBAAgB,GAAG,SAAS,CAAC,2BAA2B,CAC1D,OAAO,EACP,aAAa;gCACb,iBAAiB,CAAC,SAAS;gCAC3B,eAAe,CAAC,SAAS,EACzB,cAAc;gCACd,mCAAmC,CAAC,KAAK,EACzC,OAAO,CACV,CAAC;gCACF,IAAI,gBAAgB,EAAE;oCAClB,aAAa,GAAG,IAAA,iDAAqC,EAAC,gBAAgB,CAAC,CAAC;iCAC3E;gCAED,IAAI,IAAA,kBAAU,EAAC,cAAc,CAAC,IAAI,IAAA,4BAAoB,EAAC,cAAc,CAAC,EAAE;oCACpE,MAAM,iBAAiB,GAAG,SAAS,CAAC,2BAA2B,CAC3D,OAAO,EACP,cAAc;oCACd,iBAAiB,CAAC,SAAS;oCAC3B,eAAe,CAAC,SAAS,EACzB,cAAc;oCACd,mCAAmC,CAAC,KAAK,EACzC,OAAO,CACV,CAAC;oCACF,IAAI,iBAAiB,EAAE;wCACnB,cAAc,GAAG,IAAA,iDAAqC,EAAC,iBAAiB,CAAC,CAAC;qCAC7E;iCACJ;6BACJ;iCAAM,IAAI,IAAA,2BAAmB,EAAC,aAAa,CAAC,SAAS,CAAC,EAAE;gCACrD,mEAAmE;gCACnE,cAAc,GAAG,IAAA,+BAAmB,EAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC;gCAEzE,MAAM,gBAAgB,GAAG,SAAS,CAAC,2BAA2B,CAC1D,yBAAyB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAS,CAAC,eAAe,CAAC,OAAO,CAAC,EACxE,aAAa,EACb,aAAa,CAAC,SAAS;gCACvB,eAAe,CAAC,SAAS,EACzB,cAAc,CACjB,CAAC;gCACF,IAAI,gBAAgB,EAAE;oCAClB,aAAa,GAAG,IAAA,iDAAqC,EAAC,gBAAgB,CAAC,CAAC;iCAC3E;gCAED,IAAI,IAAA,kBAAU,EAAC,cAAc,CAAC,IAAI,IAAA,4BAAoB,EAAC,cAAc,CAAC,EAAE;oCACpE,MAAM,iBAAiB,GAAG,SAAS,CAAC,2BAA2B,CAC3D,iBAAS,CAAC,eAAe,CAAC,OAAO,CAAC,EAClC,cAAc,EACd,aAAa,CAAC,SAAS;oCACvB,eAAe,CAAC,SAAS,EACzB,cAAc,CACjB,CAAC;oCACF,IAAI,iBAAiB,EAAE;wCACnB,cAAc,GAAG,IAAA,iDAAqC,EAAC,iBAAiB,CAAC,CAAC;qCAC7E;iCACJ;6BACJ;yBACJ;6BAAM;4BACH,mEAAmE;4BACnE,cAAc,GAAG,IAAA,+BAAmB,EAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC;yBAC5E;wBAED,MAAM,OAAO,GAAG,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,cAAc,EAAE,CAAC;wBAEvC,yCAAyC;wBACzC,IAAI,IAAA,uBAAe,EAAC,cAAc,CAAC,IAAI,iBAAS,CAAC,eAAe,CAAC,cAAc,CAAC,EAAE;4BAC9E,IACI,IAAA,uBAAe,EAAC,aAAa,CAAC;gCAC9B,iBAAS,CAAC,eAAe,CAAC,aAAa,CAAC;gCACxC,CAAC,yBAAyB,EAC5B;gCACE,IACI,CAAC,IAAA,2BAAc,EACX,SAAS,EACT,iBAAS,CAAC,mBAAmB,CAAC,cAAc,CAAC,EAC7C,iBAAS,CAAC,mBAAmB,CAAC,aAAa,CAAC,EAC5C,QAAQ,EACR,OAAO,EACP,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,cAAc,EAAE,EACzB,yBAAyB,EACzB,kBAAkB,EAClB,cAAc,CACjB,EACH;oCACE,IAAI,OAAO,EAAE;wCACT,OAAO,CAAC,UAAU,CACd,oBAAS,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CACrE,CAAC;qCACL;oCACD,kBAAkB,GAAG,KAAK,CAAC;iCAC9B;6BACJ;iCAAM;gCACH,qDAAqD;gCACrD,MAAM,UAAU,GAAG,SAAS,CAAC,yBAAyB,CAClD,cAAc;gCACd,uBAAuB,CAAC,IAAI,CAC/B,CAAC;gCACF,IACI,CAAC,UAAU;oCACX,CAAC,SAAS,CAAC,UAAU,CACjB,UAAU,EACV,aAAa,EACb,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,cAAc,EAAE,EACzB,yBAAyB;oCACzB,uBAAuB,CAAC,SAAS,EACjC,eAAe,EACf,cAAc,CACjB,EACH;oCACE,IAAI,OAAO,EAAE;wCACT,OAAO,CAAC,UAAU,CACd,oBAAS,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CACrE,CAAC;qCACL;oCACD,kBAAkB,GAAG,KAAK,CAAC;iCAC9B;6BACJ;yBACJ;6BAAM;4BACH,wDAAwD;4BACxD,sBAAsB;4BACtB,MAAM,WAAW,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC;4BAChD,MAAM,WAAW,GAAG,CAAA,WAAW,aAAX,WAAW,uBAAX,WAAW,CAAE,IAAI,sBAA6B,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC;4BAC3F,IACI,CAAC,SAAS,CAAC,UAAU,CACjB,cAAc,EACd,aAAa,EACb,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,cAAc,EAAE,EACzB,yBAAyB;4BACzB,uBAAuB,CAAC,SAAS,EACjC,WAAW,CAAC,CAAC,CAAC,eAAe,4BAAoC,CAAC,CAAC,CAAC,eAAe,EACnF,cAAc,CACjB,EACH;gCACE,IAAI,OAAO,EAAE;oCACT,IAAI,WAAW,EAAE;wCACb,OAAO,CAAC,UAAU,CACd,oBAAS,CAAC,kBAAkB,CAAC,iBAAiB,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CACpE,CAAC;qCACL;oCACD,OAAO,CAAC,UAAU,CACd,oBAAS,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CACrE,CAAC;iCACL;gCACD,kBAAkB,GAAG,KAAK,CAAC;6BAC9B;yBACJ;wBAED,MAAM,WAAW,GAAG,MAAM;6BACrB,oBAAoB,EAAE;6BACtB,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,qBAA6B,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;wBAC9E,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM;6BAClC,oBAAoB,EAAE;6BACtB,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,qBAA6B,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;wBAE9E,IAAI,WAAW,KAAK,UAAU,EAAE;4BAC5B,IAAI,WAAW,EAAE;gCACb,IAAI,OAAO,EAAE;oCACT,OAAO,CAAC,UAAU,CACd,oBAAS,CAAC,kBAAkB,CAAC,uBAAuB,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAC1E,CAAC;iCACL;6BACJ;iCAAM;gCACH,IAAI,OAAO,EAAE;oCACT,OAAO,CAAC,UAAU,CACd,oBAAS,CAAC,kBAAkB,CAAC,0BAA0B,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAC7E,CAAC;iCACL;6BACJ;4BACD,kBAAkB,GAAG,KAAK,CAAC;yBAC9B;qBACJ;oBAED,IAAI,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE;wBAC9D,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CAAC,oBAAS,CAAC,kBAAkB,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;wBACzF,kBAAkB,GAAG,KAAK,CAAC;qBAC9B;iBACJ;aACJ;QACL,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,uFAAuF;IACvF,IAAI,kBAAkB,IAAI,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,aAAa,EAAE;QAC5F,uEAAuE;QACvE,qDAAqD;QACrD,MAAM,uBAAuB,GAAG,IAAA,+BAAmB,EAAC,eAAe,EAAE,yBAAyB,CAAc,CAAC;QAE7G,IACI,CAAC,SAAS,CAAC,6BAA6B,CACpC,QAAQ,EACR,uBAAuB,EACvB,IAAI,EACJ,kBAAkB,EAClB,iBAAiB,EACjB,KAAK,EACL,cAAc,CACjB,EACH;YACE,kBAAkB,GAAG,KAAK,CAAC;SAC9B;KACJ;IAED,OAAO,kBAAkB,CAAC;AAC9B,CAAC;AAED,SAAgB,sBAAsB,CAClC,SAAwB,EACxB,QAAmB,EACnB,OAAmB,EACnB,IAAoC,EACpC,cAA0C,EAC1C,KAAsB,EACtB,cAAsB;IAEtB,IAAI,cAAc,GAAG,6BAAqB,EAAE;QACxC,OAAO,IAAI,CAAC;KACf;IACD,cAAc,EAAE,CAAC;IAEjB,IAAI,kBAAkB,GAAG,IAAI,CAAC;IAC9B,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE3C,uEAAuE;IACvE,MAAM,eAAe,GAAG,iBAAS,CAAC,sBAAsB,CAAC,QAAQ,EAAE,SAAS,EAAE,4BAA4B,CAAC,KAAK,CAAC,CAAC;IAClH,MAAM,yBAAyB,GAAG,IAAI,+BAAc,CAAC,IAAA,6BAAiB,EAAC,QAAQ,CAAC,CAAC,CAAC;IAElF,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;QACtC,IAAI,CAAC,IAAA,2BAAmB,EAAC,QAAQ,CAAC,IAAI,CAAC,iBAAS,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE;YACxE,OAAO;SACV;QAED,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;YAC7C,IAAI,MAAM,CAAC,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,yBAAyB,EAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;gBAC9F,kEAAkE;gBAClE,yDAAyD;gBACzD,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAE3B,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAE9C,IAAI,CAAC,YAAY,EAAE;oBACf,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CAAC,oBAAS,CAAC,kBAAkB,CAAC,qBAAqB,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;oBACxF,kBAAkB,GAAG,KAAK,CAAC;iBAC9B;qBAAM;oBACH,IAAI,cAAc,GAAG,SAAS,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;oBAC/D,IAAI,cAAc,EAAE;wBAChB,cAAc,GAAG,IAAA,mCAAuB,EAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;wBAEnE,MAAM,aAAa,GAAG,SAAS,CAAC,wBAAwB,CAAC,YAAY,CAAC,CAAC;wBAEvE,IAAI,IAAA,kBAAU,EAAC,aAAa,CAAC,IAAI,IAAA,4BAAoB,EAAC,aAAa,CAAC,EAAE;4BAClE,IAAI,IAAA,kBAAU,EAAC,cAAc,CAAC,IAAI,IAAA,4BAAoB,EAAC,cAAc,CAAC,EAAE;gCACpE,MAAM,iBAAiB,GAAG,SAAS,CAAC,2BAA2B,CAC3D,iBAAS,CAAC,eAAe,CAAC,QAAQ,CAAC,EACnC,cAAc,EACd,QAAQ;gCACR,eAAe,CAAC,SAAS,EACzB,cAAc,CACjB,CAAC;gCACF,IAAI,iBAAiB,EAAE;oCACnB,cAAc,GAAG,iBAAiB,CAAC;iCACtC;6BACJ;yBACJ;wBAED,MAAM,OAAO,GAAG,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,cAAc,EAAE,CAAC;wBAEvC,IACI,CAAC,SAAS,CAAC,UAAU,CACjB,cAAc,EACd,aAAa,EACb,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,cAAc,EAAE,EACzB,yBAAyB;wBACzB,uBAAuB,CAAC,SAAS,mBAEjC,cAAc,CACjB,EACH;4BACE,IAAI,OAAO,EAAE;gCACT,OAAO,CAAC,UAAU,CAAC,oBAAS,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;6BAC1F;4BACD,kBAAkB,GAAG,KAAK,CAAC;yBAC9B;qBACJ;iBACJ;aACJ;QACL,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,uFAAuF;IACvF,IAAI,kBAAkB,IAAI,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,aAAa,EAAE;QAC5F,uEAAuE;QACvE,qDAAqD;QACrD,MAAM,sBAAsB,GAAG,IAAA,+BAAmB,EAAC,eAAe,EAAE,yBAAyB,CAAc,CAAC;QAE5G,IACI,CAAC,SAAS,CAAC,6BAA6B,CACpC,QAAQ,EACR,sBAAsB,EACtB,IAAI,EACJ,cAAc;QACd,uBAAuB,CAAC,SAAS,EACjC,KAAK,EACL,cAAc,CACjB,EACH;YACE,kBAAkB,GAAG,KAAK,CAAC;SAC9B;KACJ;IAED,OAAO,kBAAkB,CAAC;AAC9B,CAAC;AAzGD,wDAyGC;AAED,mEAAmE;AACnE,2BAA2B;AAC3B,SAAgB,yBAAyB,CACrC,SAAwB,EACxB,QAAmB,EACnB,OAAkB,EAClB,cAAc,GAAG,CAAC;IAElB,IAAA,cAAM,EAAC,iBAAS,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC5C,IAAA,cAAM,EAAC,iBAAS,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3C,IAAA,cAAM,EAAC,iBAAS,CAAC,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IACxD,IAAA,cAAM,EAAC,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAEnD,MAAM,IAAI,GAAG,IAAI,+BAAkB,EAAE,CAAC;IACtC,MAAM,cAAc,GAAG,IAAI,+BAAc,EAAE,CAAC;IAC5C,IAAI,YAAY,GAAG,IAAI,CAAC;IAExB,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;QAC7C,IAAI,YAAY,IAAI,MAAM,CAAC,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,yBAAyB,EAAE,EAAE;YAC/E,MAAM,UAAU,GAAG,IAAA,6BAAiB,EAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACpD,IAAA,cAAM,EAAC,UAAU,KAAK,SAAS,CAAC,CAAC;YAEjC,IAAI,cAAc,GAAG,SAAS,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;YAC/D,IAAI,cAAc,EAAE;gBAChB,MAAM,aAAa,GAAG,SAAS,CAAC,eAAe,CAAC,UAAW,CAAC,CAAC;gBAC7D,cAAc,GAAG,IAAA,mCAAuB,EAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;gBAEnE,yCAAyC;gBACzC,IACI,IAAA,uBAAe,EAAC,cAAc,CAAC;oBAC/B,iBAAS,CAAC,eAAe,CAAC,cAAc,CAAC;oBACzC,IAAA,uBAAe,EAAC,aAAa,CAAC;oBAC9B,iBAAS,CAAC,eAAe,CAAC,aAAa,CAAC,EAC1C;oBACE,IACI,CAAC,IAAA,2BAAc,EACX,SAAS,EACT,iBAAS,CAAC,mBAAmB,CAAC,cAAc,CAAC,EAC7C,iBAAS,CAAC,mBAAmB,CAAC,aAAa,CAAC,EAC5C,QAAQ,EACR,OAAO,EACP,IAAI,EACJ,cAAc;oBACd,wBAAwB,CAAC,SAAS,EAClC,cAAc,CACjB,EACH;wBACE,YAAY,GAAG,KAAK,CAAC;qBACxB;iBACJ;qBAAM;oBACH,MAAM,WAAW,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC;oBAChD,wDAAwD;oBACxD,sBAAsB;oBACtB,MAAM,KAAK,GACP,CAAA,WAAW,aAAX,WAAW,uBAAX,WAAW,CAAE,IAAI,sBAA6B,IAAI,CAAC,WAAW,CAAC,OAAO;wBAClE,CAAC;wBACD,CAAC,gBAAwB,CAAC;oBAClC,IACI,CAAC,SAAS,CAAC,UAAU,CACjB,cAAc,EACd,aAAa,EACb,IAAI,EACJ,cAAc;oBACd,uBAAuB,CAAC,SAAS,EACjC,KAAK,EACL,cAAc,CACjB,EACH;wBACE,YAAY,GAAG,KAAK,CAAC;qBACxB;iBACJ;aACJ;SACJ;IACL,CAAC,CAAC,CAAC;IAEH,mCAAmC;IACnC,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;QAC/C,IACI,IAAA,2BAAmB,EAAC,SAAS,CAAC;YAC9B,iBAAS,CAAC,eAAe,CAAC,SAAS,CAAC;YACpC,CAAC,iBAAS,CAAC,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC;YACzC,CAAC,iBAAS,CAAC,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC;YAC3C,SAAS,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAC7C;YACE,MAAM,wBAAwB,GAAG,IAAA,kCAAsB,EAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC7E,MAAM,uBAAuB,GAAG,IAAA,kCAAsB,EAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YAC3E,IACI,CAAC,yBAAyB,CAAC,SAAS,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,cAAc,CAAC,EAC1G;gBACE,YAAY,GAAG,KAAK,CAAC;aACxB;SACJ;IACL,CAAC,CAAC,CAAC;IAEH,OAAO,YAAY,CAAC;AACxB,CAAC;AA7FD,8DA6FC"}

package/dist/analyzer/pyTypedUtils.d.ts

@@ -0,0 +1,6 @@
+import { FileSystem } from '../common/fileSystem';
+export interface PyTypedInfo {
+    pyTypedPath: string;
+    isPartiallyTyped: boolean;
+}
+export declare function getPyTypedInfo(fileSystem: FileSystem, dirPath: string): PyTypedInfo | undefined;

package/dist/analyzer/pyTypedUtils.js

@@ -0,0 +1,42 @@
+"use strict";
+/*
+ * pyTypedUtils.ts
+ * Copyright (c) Microsoft Corporation.
+ * Licensed under the MIT license.
+ * Author: Eric Traut
+ *
+ * Parser for py.typed files.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.getPyTypedInfo = void 0;
+const pathUtils_1 = require("../common/pathUtils");
+const _pyTypedFileName = 'py.typed';
+function getPyTypedInfo(fileSystem, dirPath) {
+    if (!fileSystem.existsSync(dirPath) || !(0, pathUtils_1.isDirectory)(fileSystem, dirPath)) {
+        return undefined;
+    }
+    let isPartiallyTyped = false;
+    const pyTypedPath = (0, pathUtils_1.combinePaths)(dirPath, _pyTypedFileName);
+    if (!fileSystem.existsSync(dirPath) || !(0, pathUtils_1.isFile)(fileSystem, pyTypedPath)) {
+        return undefined;
+    }
+    // Read the contents of the file as text.
+    const fileStats = fileSystem.statSync(pyTypedPath);
+    // Do a quick sanity check on the size before we attempt to read it. This
+    // file should always be really small - typically zero bytes in length.
+    if (fileStats.size > 0 && fileStats.size < 64 * 1024) {
+        const pyTypedContents = fileSystem.readFileSync(pyTypedPath, 'utf8');
+        // PEP 561 doesn't specify the format of "py.typed" in any detail other than
+        // to say that "If a stub package is partial it MUST include partial\n in a top
+        // level py.typed file."
+        if (pyTypedContents.match(/partial\n/) || pyTypedContents.match(/partial\r\n/)) {
+            isPartiallyTyped = true;
+        }
+    }
+    return {
+        pyTypedPath,
+        isPartiallyTyped,
+    };
+}
+exports.getPyTypedInfo = getPyTypedInfo;
+//# sourceMappingURL=pyTypedUtils.js.map

package/dist/analyzer/pyTypedUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pyTypedUtils.js","sourceRoot":"","sources":["../../../src/analyzer/pyTypedUtils.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAGH,mDAAwE;AAOxE,MAAM,gBAAgB,GAAG,UAAU,CAAC;AAEpC,SAAgB,cAAc,CAAC,UAAsB,EAAE,OAAe;IAClE,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,IAAA,uBAAW,EAAC,UAAU,EAAE,OAAO,CAAC,EAAE;QACtE,OAAO,SAAS,CAAC;KACpB;IAED,IAAI,gBAAgB,GAAG,KAAK,CAAC;IAC7B,MAAM,WAAW,GAAG,IAAA,wBAAY,EAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;IAE5D,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,IAAA,kBAAM,EAAC,UAAU,EAAE,WAAW,CAAC,EAAE;QACrE,OAAO,SAAS,CAAC;KACpB;IAED,yCAAyC;IACzC,MAAM,SAAS,GAAG,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IAEnD,yEAAyE;IACzE,uEAAuE;IACvE,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC,IAAI,SAAS,CAAC,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE;QAClD,MAAM,eAAe,GAAG,UAAU,CAAC,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QAErE,4EAA4E;QAC5E,+EAA+E;QAC/E,wBAAwB;QACxB,IAAI,eAAe,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,eAAe,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE;YAC5E,gBAAgB,GAAG,IAAI,CAAC;SAC3B;KACJ;IAED,OAAO;QACH,WAAW;QACX,gBAAgB;KACnB,CAAC;AACN,CAAC;AAhCD,wCAgCC"}

package/dist/analyzer/pythonPathUtils.d.ts

@@ -0,0 +1,14 @@
+import { ConfigOptions } from '../common/configOptions';
+import { FileSystem } from '../common/fileSystem';
+import { Host } from '../common/host';
+export interface PythonPathResult {
+    paths: string[];
+    prefix: string;
+}
+export declare const stdLibFolderName = "stdlib";
+export declare const thirdPartyFolderName = "stubs";
+export declare function getTypeShedFallbackPath(fs: FileSystem): string | undefined;
+export declare function getTypeshedSubdirectory(typeshedPath: string, isStdLib: boolean): string;
+export declare function findPythonSearchPaths(fs: FileSystem, configOptions: ConfigOptions, host: Host, importFailureInfo: string[], includeWatchPathsOnly?: boolean | undefined, workspaceRoot?: string | undefined): string[] | undefined;
+export declare function isPythonBinary(p: string): boolean;
+export declare function getPathsFromPthFiles(fs: FileSystem, parentDir: string): string[];