@zzzen/pyright-internal 1.1.254

package/dist/analyzer/typePrinter.js

@@ -0,0 +1,603 @@
+"use strict";
+/*
+ * typePrinter.ts
+ * Copyright (c) Microsoft Corporation.
+ * Licensed under the MIT license.
+ * Author: Eric Traut
+ *
+ * Converts a type into a string representation.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.printFunctionParts = exports.printObjectTypeForClass = exports.printLiteralValue = exports.printType = void 0;
+const ParseTreeUtils = __importStar(require("./parseTreeUtils"));
+const types_1 = require("./types");
+const typeUtils_1 = require("./typeUtils");
+const singleTickRegEx = /'/g;
+const escapedDoubleQuoteRegEx = /\\"/g;
+function printType(type, printTypeFlags, returnTypeCallback, recursionTypes = []) {
+    const parenthesizeUnion = (printTypeFlags & 16 /* ParenthesizeUnion */) !== 0;
+    const parenthesizeCallable = (printTypeFlags & 128 /* ParenthesizeCallable */) !== 0;
+    printTypeFlags &= ~(16 /* ParenthesizeUnion */ | 128 /* ParenthesizeCallable */);
+    // If this is a type alias, see if we should use its name rather than
+    // the type it represents.
+    if (type.typeAliasInfo) {
+        let expandTypeAlias = true;
+        if ((printTypeFlags & 32 /* ExpandTypeAlias */) === 0) {
+            expandTypeAlias = false;
+        }
+        else {
+            if (recursionTypes.find((t) => t === type)) {
+                expandTypeAlias = false;
+            }
+        }
+        if (!expandTypeAlias) {
+            try {
+                recursionTypes.push(type);
+                let aliasName = type.typeAliasInfo.name;
+                const typeParams = type.typeAliasInfo.typeParameters;
+                if (typeParams) {
+                    let argumentStrings;
+                    // If there is a type arguments array, it's a specialized type alias.
+                    if (type.typeAliasInfo.typeArguments) {
+                        if ((printTypeFlags & 2 /* OmitTypeArgumentsIfAny */) === 0 ||
+                            type.typeAliasInfo.typeArguments.some((typeArg) => !(0, types_1.isAnyOrUnknown)(typeArg))) {
+                            argumentStrings = [];
+                            type.typeAliasInfo.typeArguments.forEach((typeArg, index) => {
+                                // Which type parameter does this map to?
+                                const typeParam = index < typeParams.length ? typeParams[index] : typeParams[typeParams.length - 1];
+                                // If this type argument maps to a variadic type parameter, unpack it.
+                                if ((0, types_1.isVariadicTypeVar)(typeParam) &&
+                                    (0, types_1.isClassInstance)(typeArg) &&
+                                    (0, typeUtils_1.isTupleClass)(typeArg) &&
+                                    typeArg.tupleTypeArguments) {
+                                    typeArg.tupleTypeArguments.forEach((tupleTypeArg) => {
+                                        argumentStrings.push(printType(tupleTypeArg.type, printTypeFlags, returnTypeCallback, recursionTypes));
+                                    });
+                                }
+                                else {
+                                    argumentStrings.push(printType(typeArg, printTypeFlags, returnTypeCallback, recursionTypes));
+                                }
+                            });
+                        }
+                    }
+                    else {
+                        if ((printTypeFlags & 2 /* OmitTypeArgumentsIfAny */) === 0 ||
+                            typeParams.some((typeParam) => !(0, types_1.isAnyOrUnknown)(typeParam))) {
+                            argumentStrings = [];
+                            typeParams.forEach((typeParam) => {
+                                argumentStrings.push(printType(typeParam, printTypeFlags, returnTypeCallback, recursionTypes));
+                            });
+                        }
+                    }
+                    if (argumentStrings) {
+                        if (argumentStrings.length === 0) {
+                            aliasName += `[()]`;
+                        }
+                        else {
+                            aliasName += `[${argumentStrings.join(', ')}]`;
+                        }
+                    }
+                }
+                // If it's a TypeVar, don't use the alias name. Instead, use the full
+                // name, which may have a scope associated with it.
+                if (type.category !== 10 /* TypeVar */) {
+                    return aliasName;
+                }
+            }
+            finally {
+                recursionTypes.pop();
+            }
+        }
+    }
+    if (recursionTypes.find((t) => {
+        var _a;
+        return t === type ||
+            (t.typeAliasInfo !== undefined && t.typeAliasInfo.fullName === ((_a = type.typeAliasInfo) === null || _a === void 0 ? void 0 : _a.fullName));
+    }) ||
+        recursionTypes.length > types_1.maxTypeRecursionCount) {
+        // If this is a recursive TypeVar, we've already expanded it once, so
+        // just print its name at this point.
+        if ((0, types_1.isTypeVar)(type) && type.details.isSynthesized && type.details.recursiveTypeAliasName) {
+            return type.details.recursiveTypeAliasName;
+        }
+        if (type.typeAliasInfo) {
+            return type.typeAliasInfo.name;
+        }
+        return '...';
+    }
+    try {
+        recursionTypes.push(type);
+        const includeConditionalIndicator = (printTypeFlags & 64 /* OmitConditionalConstraint */) === 0;
+        const getConditionalIndicator = (subtype) => {
+            return subtype.condition !== undefined && includeConditionalIndicator ? '*' : '';
+        };
+        switch (type.category) {
+            case 0 /* Unbound */: {
+                return 'Unbound';
+            }
+            case 1 /* Unknown */: {
+                return (printTypeFlags & 1 /* PrintUnknownWithAny */) !== 0 ? 'Any' : 'Unknown';
+            }
+            case 8 /* Module */: {
+                return `Module("${type.moduleName}")`;
+            }
+            case 7 /* Class */: {
+                if (types_1.TypeBase.isInstance(type)) {
+                    if (type.literalValue !== undefined) {
+                        return `Literal[${printLiteralValue(type)}]`;
+                    }
+                    return `${printObjectTypeForClass(type, printTypeFlags, returnTypeCallback, recursionTypes)}${getConditionalIndicator(type)}`;
+                }
+                else {
+                    let typeToWrap;
+                    if (type.literalValue !== undefined) {
+                        typeToWrap = `Literal[${printLiteralValue(type)}]`;
+                    }
+                    else {
+                        typeToWrap = `${printObjectTypeForClass(type, printTypeFlags, returnTypeCallback, recursionTypes)}`;
+                    }
+                    return `${_printNestedInstantiable(type, typeToWrap)}${getConditionalIndicator(type)}`;
+                }
+            }
+            case 5 /* Function */: {
+                // If it's a Callable with a ParamSpec, use the
+                // Callable notation.
+                const parts = printFunctionParts(type, printTypeFlags, returnTypeCallback, recursionTypes);
+                const paramSignature = `(${parts[0].join(', ')})`;
+                if (types_1.FunctionType.isParamSpecValue(type)) {
+                    return paramSignature;
+                }
+                const fullSignature = `${paramSignature} -> ${parts[1]}`;
+                if (parenthesizeCallable) {
+                    return `(${fullSignature})`;
+                }
+                return fullSignature;
+            }
+            case 6 /* OverloadedFunction */: {
+                const overloadedType = type;
+                const overloads = overloadedType.overloads.map((overload) => printType(overload, printTypeFlags, returnTypeCallback, recursionTypes));
+                return `Overload[${overloads.join(', ')}]`;
+            }
+            case 9 /* Union */: {
+                // Allocate a set that refers to subtypes in the union by
+                // their indices. If the index is within the set, it is already
+                // accounted for in the output.
+                const subtypeHandledSet = new Set();
+                // Allocate another set that represents the textual representations
+                // of the subtypes in the union.
+                const subtypeStrings = new Set();
+                // If we're using "|" notation, enclose callable subtypes in parens.
+                const updatedPrintTypeFlags = printTypeFlags & 8 /* PEP604 */
+                    ? printTypeFlags | 128 /* ParenthesizeCallable */
+                    : printTypeFlags;
+                // Start by matching possible type aliases to the subtypes.
+                if ((printTypeFlags & 32 /* ExpandTypeAlias */) === 0 && type.typeAliasSources) {
+                    for (const typeAliasSource of type.typeAliasSources) {
+                        let matchedAllSubtypes = true;
+                        let allSubtypesPreviouslyHandled = true;
+                        const indicesCoveredByTypeAlias = new Set();
+                        for (const sourceSubtype of typeAliasSource.subtypes) {
+                            let unionSubtypeIndex = 0;
+                            let foundMatch = false;
+                            for (const unionSubtype of type.subtypes) {
+                                if ((0, types_1.isTypeSame)(sourceSubtype, unionSubtype, 
+                                /* ignorePseudoGeneric */ undefined, 
+                                /* ignoreTypeFlags */ true)) {
+                                    if (!subtypeHandledSet.has(unionSubtypeIndex)) {
+                                        allSubtypesPreviouslyHandled = false;
+                                    }
+                                    indicesCoveredByTypeAlias.add(unionSubtypeIndex);
+                                    foundMatch = true;
+                                    break;
+                                }
+                                unionSubtypeIndex++;
+                            }
+                            if (!foundMatch) {
+                                matchedAllSubtypes = false;
+                                break;
+                            }
+                        }
+                        if (matchedAllSubtypes && !allSubtypesPreviouslyHandled) {
+                            subtypeStrings.add(printType(typeAliasSource, updatedPrintTypeFlags, returnTypeCallback, recursionTypes));
+                            indicesCoveredByTypeAlias.forEach((index) => subtypeHandledSet.add(index));
+                        }
+                    }
+                }
+                const noneIndex = type.subtypes.findIndex((subtype) => (0, types_1.isNoneInstance)(subtype));
+                if (noneIndex >= 0 && !subtypeHandledSet.has(noneIndex)) {
+                    const typeWithoutNone = (0, types_1.removeNoneFromUnion)(type);
+                    if ((0, types_1.isNever)(typeWithoutNone)) {
+                        return 'None';
+                    }
+                    const optionalType = printType(typeWithoutNone, updatedPrintTypeFlags, returnTypeCallback, recursionTypes);
+                    if (printTypeFlags & 8 /* PEP604 */) {
+                        const unionString = optionalType + ' | None';
+                        if (parenthesizeUnion) {
+                            return `(${unionString})`;
+                        }
+                        return unionString;
+                    }
+                    return 'Optional[' + optionalType + ']';
+                }
+                const literalObjectStrings = new Set();
+                const literalClassStrings = new Set();
+                (0, typeUtils_1.doForEachSubtype)(type, (subtype, index) => {
+                    if (!subtypeHandledSet.has(index)) {
+                        if ((0, types_1.isClassInstance)(subtype) && subtype.literalValue !== undefined) {
+                            literalObjectStrings.add(printLiteralValue(subtype));
+                        }
+                        else if ((0, types_1.isInstantiableClass)(subtype) && subtype.literalValue !== undefined) {
+                            literalClassStrings.add(printLiteralValue(subtype));
+                        }
+                        else {
+                            subtypeStrings.add(printType(subtype, updatedPrintTypeFlags, returnTypeCallback, recursionTypes));
+                        }
+                    }
+                });
+                const dedupedSubtypeStrings = [];
+                subtypeStrings.forEach((s) => dedupedSubtypeStrings.push(s));
+                if (literalObjectStrings.size > 0) {
+                    const literalStrings = [];
+                    literalObjectStrings.forEach((s) => literalStrings.push(s));
+                    dedupedSubtypeStrings.push(`Literal[${literalStrings.join(', ')}]`);
+                }
+                if (literalClassStrings.size > 0) {
+                    const literalStrings = [];
+                    literalClassStrings.forEach((s) => literalStrings.push(s));
+                    dedupedSubtypeStrings.push(`Type[Literal[${literalStrings.join(', ')}]]`);
+                }
+                if (dedupedSubtypeStrings.length === 1) {
+                    return dedupedSubtypeStrings[0];
+                }
+                if (printTypeFlags & 8 /* PEP604 */) {
+                    const unionString = dedupedSubtypeStrings.join(' | ');
+                    if (parenthesizeUnion) {
+                        return `(${unionString})`;
+                    }
+                    return unionString;
+                }
+                return `Union[${dedupedSubtypeStrings.join(', ')}]`;
+            }
+            case 10 /* TypeVar */: {
+                // If it's synthesized, don't expose the internal name we generated.
+                // This will confuse users. The exception is if it's a bound synthesized
+                // type, in which case we'll print the bound type. This is used for
+                // "self" and "cls" parameters.
+                if (type.details.isSynthesized) {
+                    // If it's a synthesized type var used to implement recursive type
+                    // aliases, return the type alias name.
+                    if (type.details.recursiveTypeAliasName) {
+                        if ((printTypeFlags & 32 /* ExpandTypeAlias */) !== 0 && type.details.boundType) {
+                            return printType(types_1.TypeBase.isInstance(type)
+                                ? (0, typeUtils_1.convertToInstance)(type.details.boundType)
+                                : type.details.boundType, printTypeFlags, returnTypeCallback, recursionTypes);
+                        }
+                        return type.details.recursiveTypeAliasName;
+                    }
+                    // If it's a synthesized type var used to implement `self` or `cls` types,
+                    // print the type with a special character that indicates that the type
+                    // is internally represented as a TypeVar.
+                    if (type.details.isSynthesizedSelf && type.details.boundType) {
+                        let boundTypeString = printType(type.details.boundType, printTypeFlags & ~32 /* ExpandTypeAlias */, returnTypeCallback, recursionTypes);
+                        if (!(0, types_1.isAnyOrUnknown)(type.details.boundType)) {
+                            boundTypeString = `Self@${boundTypeString}`;
+                        }
+                        if (types_1.TypeBase.isInstantiable(type)) {
+                            return `${_printNestedInstantiable(type, boundTypeString)}`;
+                        }
+                        return boundTypeString;
+                    }
+                    return (printTypeFlags & 1 /* PrintUnknownWithAny */) !== 0 ? 'Any' : 'Unknown';
+                }
+                if (type.details.isParamSpec) {
+                    if (type.paramSpecAccess) {
+                        return `${type.details.name}.${type.paramSpecAccess}`;
+                    }
+                    return `${types_1.TypeVarType.getReadableName(type)}`;
+                }
+                let typeVarName = types_1.TypeVarType.getReadableName(type);
+                if (type.isVariadicUnpacked) {
+                    typeVarName = `*${typeVarName}`;
+                }
+                if (types_1.TypeBase.isInstantiable(type)) {
+                    return `${_printNestedInstantiable(type, typeVarName)}`;
+                }
+                return typeVarName;
+            }
+            case 3 /* None */: {
+                return `${types_1.TypeBase.isInstantiable(type) ? `${_printNestedInstantiable(type, 'None')}` : 'None'}${getConditionalIndicator(type)}`;
+            }
+            case 4 /* Never */: {
+                return type.isNoReturn ? 'NoReturn' : 'Never';
+            }
+            case 2 /* Any */: {
+                const anyType = type;
+                return anyType.isEllipsis ? '...' : 'Any';
+            }
+        }
+        return '';
+    }
+    finally {
+        recursionTypes.pop();
+    }
+}
+exports.printType = printType;
+function printLiteralValue(type, quotation = "'") {
+    const literalValue = type.literalValue;
+    if (literalValue === undefined) {
+        return '';
+    }
+    let literalStr;
+    if (typeof literalValue === 'string') {
+        const prefix = type.details.name === 'bytes' ? 'b' : '';
+        // Limit the length of the string literal.
+        let effectiveLiteralValue = literalValue;
+        const maxLiteralStringLength = 50;
+        if (literalValue.length > maxLiteralStringLength) {
+            effectiveLiteralValue = literalValue.substring(0, maxLiteralStringLength) + '…';
+        }
+        // JSON.stringify will perform proper escaping for " case.
+        // So, we only need to do our own escaping for ' case.
+        literalStr = JSON.stringify(effectiveLiteralValue).toString();
+        if (quotation !== '"') {
+            literalStr = `'${literalStr
+                .substring(1, literalStr.length - 1)
+                .replace(escapedDoubleQuoteRegEx, '"')
+                .replace(singleTickRegEx, "\\'")}'`;
+        }
+        if (prefix) {
+            literalStr = `${prefix}${literalStr}`;
+        }
+    }
+    else if (typeof literalValue === 'boolean') {
+        literalStr = literalValue ? 'True' : 'False';
+    }
+    else if (literalValue instanceof types_1.EnumLiteral) {
+        literalStr = `${literalValue.className}.${literalValue.itemName}`;
+    }
+    else if (typeof literalValue === 'bigint') {
+        literalStr = literalValue.toString();
+        if (literalStr.endsWith('n')) {
+            literalStr = literalStr.substring(0, literalStr.length - 1);
+        }
+    }
+    else {
+        literalStr = literalValue.toString();
+    }
+    return literalStr;
+}
+exports.printLiteralValue = printLiteralValue;
+function printObjectTypeForClass(type, printTypeFlags, returnTypeCallback, recursionTypes = []) {
+    var _a, _b;
+    let objName = type.aliasName || type.details.name;
+    // If this is a pseudo-generic class, don't display the type arguments
+    // or type parameters because it will confuse users.
+    if (!types_1.ClassType.isPseudoGenericClass(type)) {
+        const typeParams = types_1.ClassType.getTypeParameters(type);
+        const lastTypeParam = typeParams.length > 0 ? typeParams[typeParams.length - 1] : undefined;
+        const isVariadic = lastTypeParam ? lastTypeParam.details.isVariadic : false;
+        // If there is a type arguments array, it's a specialized class.
+        const typeArgs = (_a = type.tupleTypeArguments) !== null && _a !== void 0 ? _a : (_b = type.typeArguments) === null || _b === void 0 ? void 0 : _b.map((t) => {
+            return { type: t, isUnbounded: false };
+        });
+        if (typeArgs) {
+            // Handle Tuple[()] as a special case.
+            if (typeArgs.length > 0) {
+                const typeArgStrings = [];
+                let isAllAny = true;
+                typeArgs.forEach((typeArg, index) => {
+                    const typeParam = index < typeParams.length ? typeParams[index] : undefined;
+                    if (typeParam &&
+                        typeParam.details.isVariadic &&
+                        (0, types_1.isClassInstance)(typeArg.type) &&
+                        types_1.ClassType.isBuiltIn(typeArg.type, 'tuple') &&
+                        typeArg.type.tupleTypeArguments) {
+                        // Expand the tuple type that maps to the variadic type parameter.
+                        if (typeArg.type.tupleTypeArguments.length === 0) {
+                            if (!(0, types_1.isAnyOrUnknown)(typeArg.type)) {
+                                isAllAny = false;
+                            }
+                            typeArgStrings.push('()');
+                        }
+                        else {
+                            typeArgStrings.push(...typeArg.type.tupleTypeArguments.map((typeArg) => {
+                                if (!(0, types_1.isAnyOrUnknown)(typeArg.type)) {
+                                    isAllAny = false;
+                                }
+                                const typeArgText = printType(typeArg.type, printTypeFlags, returnTypeCallback, recursionTypes);
+                                if (typeArg.isUnbounded) {
+                                    return `*tuple[${typeArgText}, ...]`;
+                                }
+                                return typeArgText;
+                            }));
+                        }
+                    }
+                    else {
+                        if (!(0, types_1.isAnyOrUnknown)(typeArg.type)) {
+                            isAllAny = false;
+                        }
+                        const typeArgTypeText = printType(typeArg.type, printTypeFlags, returnTypeCallback, recursionTypes);
+                        if (typeArg.isUnbounded) {
+                            if (typeArgs.length === 1) {
+                                typeArgStrings.push(typeArgTypeText, '...');
+                            }
+                            else {
+                                typeArgStrings.push(`*tuple[${typeArgTypeText}, ...]`);
+                            }
+                        }
+                        else {
+                            typeArgStrings.push(typeArgTypeText);
+                        }
+                    }
+                });
+                if (type.isUnpacked) {
+                    objName = '*' + objName;
+                }
+                if ((printTypeFlags & 2 /* OmitTypeArgumentsIfAny */) === 0 || !isAllAny) {
+                    objName += '[' + typeArgStrings.join(', ') + ']';
+                }
+            }
+            else {
+                if (types_1.ClassType.isTupleClass(type) || isVariadic) {
+                    objName += '[()]';
+                }
+            }
+        }
+        else {
+            if (typeParams.length > 0) {
+                if ((printTypeFlags & 2 /* OmitTypeArgumentsIfAny */) === 0 ||
+                    typeParams.some((typeParam) => !(0, types_1.isAnyOrUnknown)(typeParam))) {
+                    objName +=
+                        '[' +
+                            typeParams
+                                .map((typeParam) => {
+                                return printType(typeParam, printTypeFlags, returnTypeCallback, recursionTypes);
+                            })
+                                .join(', ') +
+                            ']';
+                }
+            }
+        }
+    }
+    return objName;
+}
+exports.printObjectTypeForClass = printObjectTypeForClass;
+function printFunctionParts(type, printTypeFlags, returnTypeCallback, recursionTypes = []) {
+    const paramTypeStrings = [];
+    let sawDefinedName = false;
+    type.details.parameters.forEach((param, index) => {
+        // Handle specialized variadic type parameters specially.
+        if (index === type.details.parameters.length - 1 &&
+            param.category === 1 /* VarArgList */ &&
+            (0, types_1.isVariadicTypeVar)(param.type)) {
+            const specializedParamType = types_1.FunctionType.getEffectiveParameterType(type, index);
+            if ((0, types_1.isClassInstance)(specializedParamType) &&
+                types_1.ClassType.isBuiltIn(specializedParamType, 'tuple') &&
+                specializedParamType.tupleTypeArguments) {
+                specializedParamType.tupleTypeArguments.forEach((paramType) => {
+                    const paramString = printType(paramType.type, printTypeFlags, returnTypeCallback, recursionTypes);
+                    paramTypeStrings.push(paramString);
+                });
+                return;
+            }
+        }
+        let paramString = '';
+        if (param.category === 1 /* VarArgList */) {
+            if (!param.name || !param.isNameSynthesized) {
+                paramString += '*';
+            }
+        }
+        else if (param.category === 2 /* VarArgDictionary */) {
+            paramString += '**';
+        }
+        if (param.name && !param.isNameSynthesized) {
+            paramString += param.name;
+            sawDefinedName = true;
+        }
+        let defaultValueAssignment = '=';
+        let isParamSpecArgsKwargsParam = false;
+        if (param.name) {
+            // Avoid printing type types if parameter have unknown type.
+            if (param.hasDeclaredType || param.isTypeInferred) {
+                const paramType = types_1.FunctionType.getEffectiveParameterType(type, index);
+                const paramTypeString = recursionTypes.length < types_1.maxTypeRecursionCount
+                    ? printType(paramType, printTypeFlags, returnTypeCallback, recursionTypes)
+                    : '';
+                if (!param.isNameSynthesized) {
+                    paramString += ': ';
+                }
+                else if (param.category === 1 /* VarArgList */ && !(0, types_1.isUnpacked)(paramType)) {
+                    paramString += '*';
+                }
+                if (param.category === 2 /* VarArgDictionary */ && (0, types_1.isUnpacked)(paramType)) {
+                    paramString += '**';
+                }
+                paramString += paramTypeString;
+                if ((0, types_1.isParamSpec)(paramType)) {
+                    if (param.category === 1 /* VarArgList */ ||
+                        param.category === 2 /* VarArgDictionary */) {
+                        isParamSpecArgsKwargsParam = true;
+                    }
+                }
+                // PEP8 indicates that the "=" for the default value should have surrounding
+                // spaces when used with a type annotation.
+                defaultValueAssignment = ' = ';
+            }
+            else if ((printTypeFlags & 2 /* OmitTypeArgumentsIfAny */) === 0) {
+                if (!param.isNameSynthesized) {
+                    paramString += ': ';
+                }
+                paramString += 'Unknown';
+                defaultValueAssignment = ' = ';
+            }
+        }
+        else if (param.category === 0 /* Simple */) {
+            if (sawDefinedName) {
+                paramString += '/';
+            }
+            else {
+                return;
+            }
+        }
+        if (param.hasDefault) {
+            if (param.defaultValueExpression) {
+                paramString += defaultValueAssignment + ParseTreeUtils.printExpression(param.defaultValueExpression);
+            }
+            else {
+                // If the function doesn't originate from a function declaration (e.g. it is
+                // synthesized), we can't get to the default declaration, but we can still indicate
+                // that there is a default value provided.
+                paramString += defaultValueAssignment + '...';
+            }
+        }
+        // If this is a (...) signature, replace the *args, **kwargs with "...".
+        if (types_1.FunctionType.shouldSkipArgsKwargsCompatibilityCheck(type) && !isParamSpecArgsKwargsParam) {
+            if (param.category === 1 /* VarArgList */) {
+                paramString = '...';
+            }
+            else if (param.category === 2 /* VarArgDictionary */) {
+                return;
+            }
+        }
+        paramTypeStrings.push(paramString);
+    });
+    if (type.details.paramSpec) {
+        paramTypeStrings.push(`**${printType(type.details.paramSpec, printTypeFlags, returnTypeCallback, recursionTypes)}`);
+    }
+    const returnType = returnTypeCallback(type);
+    const returnTypeString = recursionTypes.length < types_1.maxTypeRecursionCount
+        ? printType(returnType, printTypeFlags | 16 /* ParenthesizeUnion */ | 128 /* ParenthesizeCallable */, returnTypeCallback, recursionTypes)
+        : '';
+    return [paramTypeStrings, returnTypeString];
+}
+exports.printFunctionParts = printFunctionParts;
+// Surrounds a printed type with Type[...] as many times as needed
+// for the nested instantiable count.
+function _printNestedInstantiable(type, textToWrap) {
+    var _a;
+    const nestedTypes = ((_a = type.instantiableNestingLevel) !== null && _a !== void 0 ? _a : 0) + 1;
+    for (let nestLevel = 0; nestLevel < nestedTypes; nestLevel++) {
+        textToWrap = `Type[${textToWrap}]`;
+    }
+    return textToWrap;
+}
+//# sourceMappingURL=typePrinter.js.map

package/dist/analyzer/typePrinter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typePrinter.js","sourceRoot":"","sources":["../../../src/analyzer/typePrinter.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;;;;;;;;;;;;;;;;;;;;AAGH,iEAAmD;AACnD,mCAqBiB;AACjB,2CAAgF;AAEhF,MAAM,eAAe,GAAG,IAAI,CAAC;AAC7B,MAAM,uBAAuB,GAAG,MAAM,CAAC;AAkCvC,SAAgB,SAAS,CACrB,IAAU,EACV,cAA8B,EAC9B,kBAA8C,EAC9C,iBAAyB,EAAE;IAE3B,MAAM,iBAAiB,GAAG,CAAC,cAAc,6BAAmC,CAAC,KAAK,CAAC,CAAC;IACpF,MAAM,oBAAoB,GAAG,CAAC,cAAc,iCAAsC,CAAC,KAAK,CAAC,CAAC;IAC1F,cAAc,IAAI,CAAC,CAAC,2DAAsE,CAAC,CAAC;IAE5F,qEAAqE;IACrE,0BAA0B;IAC1B,IAAI,IAAI,CAAC,aAAa,EAAE;QACpB,IAAI,eAAe,GAAG,IAAI,CAAC;QAC3B,IAAI,CAAC,cAAc,2BAAiC,CAAC,KAAK,CAAC,EAAE;YACzD,eAAe,GAAG,KAAK,CAAC;SAC3B;aAAM;YACH,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE;gBACxC,eAAe,GAAG,KAAK,CAAC;aAC3B;SACJ;QAED,IAAI,CAAC,eAAe,EAAE;YAClB,IAAI;gBACA,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC1B,IAAI,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;gBACxC,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC;gBAErD,IAAI,UAAU,EAAE;oBACZ,IAAI,eAAqC,CAAC;oBAE1C,qEAAqE;oBACrE,IAAI,IAAI,CAAC,aAAa,CAAC,aAAa,EAAE;wBAClC,IACI,CAAC,cAAc,iCAAwC,CAAC,KAAK,CAAC;4BAC9D,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAA,sBAAc,EAAC,OAAO,CAAC,CAAC,EAC9E;4BACE,eAAe,GAAG,EAAE,CAAC;4BACrB,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;gCACxD,yCAAyC;gCACzC,MAAM,SAAS,GACX,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gCAEtF,sEAAsE;gCACtE,IACI,IAAA,yBAAiB,EAAC,SAAS,CAAC;oCAC5B,IAAA,uBAAe,EAAC,OAAO,CAAC;oCACxB,IAAA,wBAAY,EAAC,OAAO,CAAC;oCACrB,OAAO,CAAC,kBAAkB,EAC5B;oCACE,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,EAAE;wCAChD,eAAgB,CAAC,IAAI,CACjB,SAAS,CACL,YAAY,CAAC,IAAI,EACjB,cAAc,EACd,kBAAkB,EAClB,cAAc,CACjB,CACJ,CAAC;oCACN,CAAC,CAAC,CAAC;iCACN;qCAAM;oCACH,eAAgB,CAAC,IAAI,CACjB,SAAS,CAAC,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,cAAc,CAAC,CACzE,CAAC;iCACL;4BACL,CAAC,CAAC,CAAC;yBACN;qBACJ;yBAAM;wBACH,IACI,CAAC,cAAc,iCAAwC,CAAC,KAAK,CAAC;4BAC9D,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAA,sBAAc,EAAC,SAAS,CAAC,CAAC,EAC5D;4BACE,eAAe,GAAG,EAAE,CAAC;4BACrB,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;gCAC7B,eAAgB,CAAC,IAAI,CACjB,SAAS,CAAC,SAAS,EAAE,cAAc,EAAE,kBAAkB,EAAE,cAAc,CAAC,CAC3E,CAAC;4BACN,CAAC,CAAC,CAAC;yBACN;qBACJ;oBAED,IAAI,eAAe,EAAE;wBACjB,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE;4BAC9B,SAAS,IAAI,MAAM,CAAC;yBACvB;6BAAM;4BACH,SAAS,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;yBAClD;qBACJ;iBACJ;gBAED,qEAAqE;gBACrE,mDAAmD;gBACnD,IAAI,IAAI,CAAC,QAAQ,qBAAyB,EAAE;oBACxC,OAAO,SAAS,CAAC;iBACpB;aACJ;oBAAS;gBACN,cAAc,CAAC,GAAG,EAAE,CAAC;aACxB;SACJ;KACJ;IAED,IACI,cAAc,CAAC,IAAI,CACf,CAAC,CAAC,EAAE,EAAE;;QACF,OAAA,CAAC,KAAK,IAAI;YACV,CAAC,CAAC,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,CAAC,aAAa,CAAC,QAAQ,MAAK,MAAA,IAAI,CAAC,aAAa,0CAAE,QAAQ,CAAA,CAAC,CAAA;KAAA,CACnG;QACD,cAAc,CAAC,MAAM,GAAG,6BAAqB,EAC/C;QACE,qEAAqE;QACrE,qCAAqC;QACrC,IAAI,IAAA,iBAAS,EAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,IAAI,CAAC,OAAO,CAAC,sBAAsB,EAAE;YACtF,OAAO,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;SAC9C;QAED,IAAI,IAAI,CAAC,aAAa,EAAE;YACpB,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;SAClC;QAED,OAAO,KAAK,CAAC;KAChB;IAED,IAAI;QACA,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE1B,MAAM,2BAA2B,GAAG,CAAC,cAAc,qCAA2C,CAAC,KAAK,CAAC,CAAC;QACtG,MAAM,uBAAuB,GAAG,CAAC,OAAa,EAAE,EAAE;YAC9C,OAAO,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,2BAA2B,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACrF,CAAC,CAAC;QAEF,QAAQ,IAAI,CAAC,QAAQ,EAAE;YACnB,oBAAyB,CAAC,CAAC;gBACvB,OAAO,SAAS,CAAC;aACpB;YAED,oBAAyB,CAAC,CAAC;gBACvB,OAAO,CAAC,cAAc,8BAAqC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;aAC1F;YAED,mBAAwB,CAAC,CAAC;gBACtB,OAAO,WAAW,IAAI,CAAC,UAAU,IAAI,CAAC;aACzC;YAED,kBAAuB,CAAC,CAAC;gBACrB,IAAI,gBAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE;oBAC3B,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE;wBACjC,OAAO,WAAW,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC;qBAChD;oBAED,OAAO,GAAG,uBAAuB,CAC7B,IAAI,EACJ,cAAc,EACd,kBAAkB,EAClB,cAAc,CACjB,GAAG,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;iBACvC;qBAAM;oBACH,IAAI,UAAkB,CAAC;oBAEvB,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE;wBACjC,UAAU,GAAG,WAAW,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC;qBACtD;yBAAM;wBACH,UAAU,GAAG,GAAG,uBAAuB,CACnC,IAAI,EACJ,cAAc,EACd,kBAAkB,EAClB,cAAc,CACjB,EAAE,CAAC;qBACP;oBAED,OAAO,GAAG,wBAAwB,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;iBAC1F;aACJ;YAED,qBAA0B,CAAC,CAAC;gBACxB,+CAA+C;gBAC/C,qBAAqB;gBACrB,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,cAAc,EAAE,kBAAkB,EAAE,cAAc,CAAC,CAAC;gBAC3F,MAAM,cAAc,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBAClD,IAAI,oBAAY,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE;oBACrC,OAAO,cAAc,CAAC;iBACzB;gBACD,MAAM,aAAa,GAAG,GAAG,cAAc,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBAEzD,IAAI,oBAAoB,EAAE;oBACtB,OAAO,IAAI,aAAa,GAAG,CAAC;iBAC/B;gBAED,OAAO,aAAa,CAAC;aACxB;YAED,+BAAoC,CAAC,CAAC;gBAClC,MAAM,cAAc,GAAG,IAAI,CAAC;gBAC5B,MAAM,SAAS,GAAG,cAAc,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACxD,SAAS,CAAC,QAAQ,EAAE,cAAc,EAAE,kBAAkB,EAAE,cAAc,CAAC,CAC1E,CAAC;gBACF,OAAO,YAAY,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;aAC9C;YAED,kBAAuB,CAAC,CAAC;gBACrB,yDAAyD;gBACzD,+DAA+D;gBAC/D,+BAA+B;gBAC/B,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;gBAE5C,mEAAmE;gBACnE,gCAAgC;gBAChC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;gBAEzC,oEAAoE;gBACpE,MAAM,qBAAqB,GACvB,cAAc,iBAAwB;oBAClC,CAAC,CAAC,cAAc,iCAAsC;oBACtD,CAAC,CAAC,cAAc,CAAC;gBAEzB,2DAA2D;gBAC3D,IAAI,CAAC,cAAc,2BAAiC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,gBAAgB,EAAE;oBAClF,KAAK,MAAM,eAAe,IAAI,IAAI,CAAC,gBAAgB,EAAE;wBACjD,IAAI,kBAAkB,GAAG,IAAI,CAAC;wBAC9B,IAAI,4BAA4B,GAAG,IAAI,CAAC;wBACxC,MAAM,yBAAyB,GAAG,IAAI,GAAG,EAAU,CAAC;wBAEpD,KAAK,MAAM,aAAa,IAAI,eAAe,CAAC,QAAQ,EAAE;4BAClD,IAAI,iBAAiB,GAAG,CAAC,CAAC;4BAC1B,IAAI,UAAU,GAAG,KAAK,CAAC;4BAEvB,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,QAAQ,EAAE;gCACtC,IACI,IAAA,kBAAU,EACN,aAAa,EACb,YAAY;gCACZ,yBAAyB,CAAC,SAAS;gCACnC,qBAAqB,CAAC,IAAI,CAC7B,EACH;oCACE,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE;wCAC3C,4BAA4B,GAAG,KAAK,CAAC;qCACxC;oCACD,yBAAyB,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;oCACjD,UAAU,GAAG,IAAI,CAAC;oCAClB,MAAM;iCACT;gCAED,iBAAiB,EAAE,CAAC;6BACvB;4BAED,IAAI,CAAC,UAAU,EAAE;gCACb,kBAAkB,GAAG,KAAK,CAAC;gCAC3B,MAAM;6BACT;yBACJ;wBAED,IAAI,kBAAkB,IAAI,CAAC,4BAA4B,EAAE;4BACrD,cAAc,CAAC,GAAG,CACd,SAAS,CAAC,eAAe,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,cAAc,CAAC,CACxF,CAAC;4BACF,yBAAyB,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;yBAC9E;qBACJ;iBACJ;gBAED,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,OAAO,CAAC,CAAC,CAAC;gBAChF,IAAI,SAAS,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE;oBACrD,MAAM,eAAe,GAAG,IAAA,2BAAmB,EAAC,IAAI,CAAC,CAAC;oBAClD,IAAI,IAAA,eAAO,EAAC,eAAe,CAAC,EAAE;wBAC1B,OAAO,MAAM,CAAC;qBACjB;oBAED,MAAM,YAAY,GAAG,SAAS,CAC1B,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,cAAc,CACjB,CAAC;oBAEF,IAAI,cAAc,iBAAwB,EAAE;wBACxC,MAAM,WAAW,GAAG,YAAY,GAAG,SAAS,CAAC;wBAC7C,IAAI,iBAAiB,EAAE;4BACnB,OAAO,IAAI,WAAW,GAAG,CAAC;yBAC7B;wBACD,OAAO,WAAW,CAAC;qBACtB;oBAED,OAAO,WAAW,GAAG,YAAY,GAAG,GAAG,CAAC;iBAC3C;gBAED,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU,CAAC;gBAC/C,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;gBAC9C,IAAA,4BAAgB,EAAC,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;oBACtC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;wBAC/B,IAAI,IAAA,uBAAe,EAAC,OAAO,CAAC,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE;4BAChE,oBAAoB,CAAC,GAAG,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC;yBACxD;6BAAM,IAAI,IAAA,2BAAmB,EAAC,OAAO,CAAC,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE;4BAC3E,mBAAmB,CAAC,GAAG,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC;yBACvD;6BAAM;4BACH,cAAc,CAAC,GAAG,CACd,SAAS,CAAC,OAAO,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,cAAc,CAAC,CAChF,CAAC;yBACL;qBACJ;gBACL,CAAC,CAAC,CAAC;gBAEH,MAAM,qBAAqB,GAAa,EAAE,CAAC;gBAC3C,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAE7D,IAAI,oBAAoB,CAAC,IAAI,GAAG,CAAC,EAAE;oBAC/B,MAAM,cAAc,GAAa,EAAE,CAAC;oBACpC,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC5D,qBAAqB,CAAC,IAAI,CAAC,WAAW,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;iBACvE;gBAED,IAAI,mBAAmB,CAAC,IAAI,GAAG,CAAC,EAAE;oBAC9B,MAAM,cAAc,GAAa,EAAE,CAAC;oBACpC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC3D,qBAAqB,CAAC,IAAI,CAAC,gBAAgB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBAC7E;gBAED,IAAI,qBAAqB,CAAC,MAAM,KAAK,CAAC,EAAE;oBACpC,OAAO,qBAAqB,CAAC,CAAC,CAAC,CAAC;iBACnC;gBAED,IAAI,cAAc,iBAAwB,EAAE;oBACxC,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACtD,IAAI,iBAAiB,EAAE;wBACnB,OAAO,IAAI,WAAW,GAAG,CAAC;qBAC7B;oBACD,OAAO,WAAW,CAAC;iBACtB;gBAED,OAAO,SAAS,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;aACvD;YAED,qBAAyB,CAAC,CAAC;gBACvB,oEAAoE;gBACpE,wEAAwE;gBACxE,mEAAmE;gBACnE,+BAA+B;gBAC/B,IAAI,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE;oBAC5B,kEAAkE;oBAClE,uCAAuC;oBACvC,IAAI,IAAI,CAAC,OAAO,CAAC,sBAAsB,EAAE;wBACrC,IAAI,CAAC,cAAc,2BAAiC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE;4BACnF,OAAO,SAAS,CACZ,gBAAQ,CAAC,UAAU,CAAC,IAAI,CAAC;gCACrB,CAAC,CAAC,IAAA,6BAAiB,EAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;gCAC3C,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAC5B,cAAc,EACd,kBAAkB,EAClB,cAAc,CACjB,CAAC;yBACL;wBACD,OAAO,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;qBAC9C;oBAED,0EAA0E;oBAC1E,uEAAuE;oBACvE,0CAA0C;oBAC1C,IAAI,IAAI,CAAC,OAAO,CAAC,iBAAiB,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE;wBAC1D,IAAI,eAAe,GAAG,SAAS,CAC3B,IAAI,CAAC,OAAO,CAAC,SAAS,EACtB,cAAc,GAAG,yBAA+B,EAChD,kBAAkB,EAClB,cAAc,CACjB,CAAC;wBAEF,IAAI,CAAC,IAAA,sBAAc,EAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;4BACzC,eAAe,GAAG,QAAQ,eAAe,EAAE,CAAC;yBAC/C;wBAED,IAAI,gBAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE;4BAC/B,OAAO,GAAG,wBAAwB,CAAC,IAAI,EAAE,eAAe,CAAC,EAAE,CAAC;yBAC/D;wBAED,OAAO,eAAe,CAAC;qBAC1B;oBAED,OAAO,CAAC,cAAc,8BAAqC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;iBAC1F;gBAED,IAAI,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE;oBAC1B,IAAI,IAAI,CAAC,eAAe,EAAE;wBACtB,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;qBACzD;oBACD,OAAO,GAAG,mBAAW,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;iBACjD;gBAED,IAAI,WAAW,GAAG,mBAAW,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;gBAEpD,IAAI,IAAI,CAAC,kBAAkB,EAAE;oBACzB,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;iBACnC;gBAED,IAAI,gBAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE;oBAC/B,OAAO,GAAG,wBAAwB,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;iBAC3D;gBAED,OAAO,WAAW,CAAC;aACtB;YAED,iBAAsB,CAAC,CAAC;gBACpB,OAAO,GACH,gBAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,wBAAwB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAClF,GAAG,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;aACtC;YAED,kBAAuB,CAAC,CAAC;gBACrB,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;aACjD;YAED,gBAAqB,CAAC,CAAC;gBACnB,MAAM,OAAO,GAAG,IAAI,CAAC;gBACrB,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;aAC7C;SACJ;QAED,OAAO,EAAE,CAAC;KACb;YAAS;QACN,cAAc,CAAC,GAAG,EAAE,CAAC;KACxB;AACL,CAAC;AAlaD,8BAkaC;AAED,SAAgB,iBAAiB,CAAC,IAAe,EAAE,SAAS,GAAG,GAAG;IAC9D,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IACvC,IAAI,YAAY,KAAK,SAAS,EAAE;QAC5B,OAAO,EAAE,CAAC;KACb;IAED,IAAI,UAAkB,CAAC;IACvB,IAAI,OAAO,YAAY,KAAK,QAAQ,EAAE;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAExD,0CAA0C;QAC1C,IAAI,qBAAqB,GAAG,YAAY,CAAC;QACzC,MAAM,sBAAsB,GAAG,EAAE,CAAC;QAClC,IAAI,YAAY,CAAC,MAAM,GAAG,sBAAsB,EAAE;YAC9C,qBAAqB,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,EAAE,sBAAsB,CAAC,GAAG,GAAG,CAAC;SACnF;QAED,0DAA0D;QAC1D,sDAAsD;QACtD,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9D,IAAI,SAAS,KAAK,GAAG,EAAE;YACnB,UAAU,GAAG,IAAI,UAAU;iBACtB,SAAS,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;iBACnC,OAAO,CAAC,uBAAuB,EAAE,GAAG,CAAC;iBACrC,OAAO,CAAC,eAAe,EAAE,KAAK,CAAC,GAAG,CAAC;SAC3C;QAED,IAAI,MAAM,EAAE;YACR,UAAU,GAAG,GAAG,MAAM,GAAG,UAAU,EAAE,CAAC;SACzC;KACJ;SAAM,IAAI,OAAO,YAAY,KAAK,SAAS,EAAE;QAC1C,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;KAChD;SAAM,IAAI,YAAY,YAAY,mBAAW,EAAE;QAC5C,UAAU,GAAG,GAAG,YAAY,CAAC,SAAS,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;KACrE;SAAM,IAAI,OAAO,YAAY,KAAK,QAAQ,EAAE;QACzC,UAAU,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAC;QACrC,IAAI,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE;YAC1B,UAAU,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;SAC/D;KACJ;SAAM;QACH,UAAU,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAC;KACxC;IAED,OAAO,UAAU,CAAC;AACtB,CAAC;AA5CD,8CA4CC;AAED,SAAgB,uBAAuB,CACnC,IAAe,EACf,cAA8B,EAC9B,kBAA8C,EAC9C,iBAAyB,EAAE;;IAE3B,IAAI,OAAO,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;IAElD,sEAAsE;IACtE,oDAAoD;IACpD,IAAI,CAAC,iBAAS,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE;QACvC,MAAM,UAAU,GAAG,iBAAS,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACrD,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5F,MAAM,UAAU,GAAG,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC;QAE5E,gEAAgE;QAChE,MAAM,QAAQ,GACV,MAAA,IAAI,CAAC,kBAAkB,mCACvB,MAAA,IAAI,CAAC,aAAa,0CAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC1B,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;QAC3C,CAAC,CAAC,CAAC;QACP,IAAI,QAAQ,EAAE;YACV,sCAAsC;YACtC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE;gBACrB,MAAM,cAAc,GAAa,EAAE,CAAC;gBACpC,IAAI,QAAQ,GAAG,IAAI,CAAC;gBAEpB,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;oBAChC,MAAM,SAAS,GAAG,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;oBAC5E,IACI,SAAS;wBACT,SAAS,CAAC,OAAO,CAAC,UAAU;wBAC5B,IAAA,uBAAe,EAAC,OAAO,CAAC,IAAI,CAAC;wBAC7B,iBAAS,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;wBAC1C,OAAO,CAAC,IAAI,CAAC,kBAAkB,EACjC;wBACE,kEAAkE;wBAClE,IAAI,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE;4BAC9C,IAAI,CAAC,IAAA,sBAAc,EAAC,OAAO,CAAC,IAAI,CAAC,EAAE;gCAC/B,QAAQ,GAAG,KAAK,CAAC;6BACpB;4BAED,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;yBAC7B;6BAAM;4BACH,cAAc,CAAC,IAAI,CACf,GAAG,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;gCAC/C,IAAI,CAAC,IAAA,sBAAc,EAAC,OAAO,CAAC,IAAI,CAAC,EAAE;oCAC/B,QAAQ,GAAG,KAAK,CAAC;iCACpB;gCAED,MAAM,WAAW,GAAG,SAAS,CACzB,OAAO,CAAC,IAAI,EACZ,cAAc,EACd,kBAAkB,EAClB,cAAc,CACjB,CAAC;gCACF,IAAI,OAAO,CAAC,WAAW,EAAE;oCACrB,OAAO,UAAU,WAAW,QAAQ,CAAC;iCACxC;gCAED,OAAO,WAAW,CAAC;4BACvB,CAAC,CAAC,CACL,CAAC;yBACL;qBACJ;yBAAM;wBACH,IAAI,CAAC,IAAA,sBAAc,EAAC,OAAO,CAAC,IAAI,CAAC,EAAE;4BAC/B,QAAQ,GAAG,KAAK,CAAC;yBACpB;wBAED,MAAM,eAAe,GAAG,SAAS,CAC7B,OAAO,CAAC,IAAI,EACZ,cAAc,EACd,kBAAkB,EAClB,cAAc,CACjB,CAAC;wBAEF,IAAI,OAAO,CAAC,WAAW,EAAE;4BACrB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE;gCACvB,cAAc,CAAC,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;6BAC/C;iCAAM;gCACH,cAAc,CAAC,IAAI,CAAC,UAAU,eAAe,QAAQ,CAAC,CAAC;6BAC1D;yBACJ;6BAAM;4BACH,cAAc,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;yBACxC;qBACJ;gBACL,CAAC,CAAC,CAAC;gBAEH,IAAI,IAAI,CAAC,UAAU,EAAE;oBACjB,OAAO,GAAG,GAAG,GAAG,OAAO,CAAC;iBAC3B;gBAED,IAAI,CAAC,cAAc,iCAAwC,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE;oBAC7E,OAAO,IAAI,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;iBACpD;aACJ;iBAAM;gBACH,IAAI,iBAAS,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,UAAU,EAAE;oBAC5C,OAAO,IAAI,MAAM,CAAC;iBACrB;aACJ;SACJ;aAAM;YACH,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE;gBACvB,IACI,CAAC,cAAc,iCAAwC,CAAC,KAAK,CAAC;oBAC9D,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAA,sBAAc,EAAC,SAAS,CAAC,CAAC,EAC5D;oBACE,OAAO;wBACH,GAAG;4BACH,UAAU;iCACL,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;gCACf,OAAO,SAAS,CAAC,SAAS,EAAE,cAAc,EAAE,kBAAkB,EAAE,cAAc,CAAC,CAAC;4BACpF,CAAC,CAAC;iCACD,IAAI,CAAC,IAAI,CAAC;4BACf,GAAG,CAAC;iBACX;aACJ;SACJ;KACJ;IAED,OAAO,OAAO,CAAC;AACnB,CAAC;AAxHD,0DAwHC;AAED,SAAgB,kBAAkB,CAC9B,IAAkB,EAClB,cAA8B,EAC9B,kBAA8C,EAC9C,iBAAyB,EAAE;IAE3B,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,IAAI,cAAc,GAAG,KAAK,CAAC;IAE3B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAC7C,yDAAyD;QACzD,IACI,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;YAC5C,KAAK,CAAC,QAAQ,uBAAiC;YAC/C,IAAA,yBAAiB,EAAC,KAAK,CAAC,IAAI,CAAC,EAC/B;YACE,MAAM,oBAAoB,GAAG,oBAAY,CAAC,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACjF,IACI,IAAA,uBAAe,EAAC,oBAAoB,CAAC;gBACrC,iBAAS,CAAC,SAAS,CAAC,oBAAoB,EAAE,OAAO,CAAC;gBAClD,oBAAoB,CAAC,kBAAkB,EACzC;gBACE,oBAAoB,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;oBAC1D,MAAM,WAAW,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,cAAc,EAAE,kBAAkB,EAAE,cAAc,CAAC,CAAC;oBAClG,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBACvC,CAAC,CAAC,CAAC;gBACH,OAAO;aACV;SACJ;QAED,IAAI,WAAW,GAAG,EAAE,CAAC;QACrB,IAAI,KAAK,CAAC,QAAQ,uBAAiC,EAAE;YACjD,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE;gBACzC,WAAW,IAAI,GAAG,CAAC;aACtB;SACJ;aAAM,IAAI,KAAK,CAAC,QAAQ,6BAAuC,EAAE;YAC9D,WAAW,IAAI,IAAI,CAAC;SACvB;QAED,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE;YACxC,WAAW,IAAI,KAAK,CAAC,IAAI,CAAC;YAC1B,cAAc,GAAG,IAAI,CAAC;SACzB;QAED,IAAI,sBAAsB,GAAG,GAAG,CAAC;QACjC,IAAI,0BAA0B,GAAG,KAAK,CAAC;QAEvC,IAAI,KAAK,CAAC,IAAI,EAAE;YACZ,4DAA4D;YAC5D,IAAI,KAAK,CAAC,eAAe,IAAI,KAAK,CAAC,cAAc,EAAE;gBAC/C,MAAM,SAAS,GAAG,oBAAY,CAAC,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACtE,MAAM,eAAe,GACjB,cAAc,CAAC,MAAM,GAAG,6BAAqB;oBACzC,CAAC,CAAC,SAAS,CAAC,SAAS,EAAE,cAAc,EAAE,kBAAkB,EAAE,cAAc,CAAC;oBAC1E,CAAC,CAAC,EAAE,CAAC;gBAEb,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE;oBAC1B,WAAW,IAAI,IAAI,CAAC;iBACvB;qBAAM,IAAI,KAAK,CAAC,QAAQ,uBAAiC,IAAI,CAAC,IAAA,kBAAU,EAAC,SAAS,CAAC,EAAE;oBAClF,WAAW,IAAI,GAAG,CAAC;iBACtB;gBAED,IAAI,KAAK,CAAC,QAAQ,6BAAuC,IAAI,IAAA,kBAAU,EAAC,SAAS,CAAC,EAAE;oBAChF,WAAW,IAAI,IAAI,CAAC;iBACvB;gBAED,WAAW,IAAI,eAAe,CAAC;gBAE/B,IAAI,IAAA,mBAAW,EAAC,SAAS,CAAC,EAAE;oBACxB,IACI,KAAK,CAAC,QAAQ,uBAAiC;wBAC/C,KAAK,CAAC,QAAQ,6BAAuC,EACvD;wBACE,0BAA0B,GAAG,IAAI,CAAC;qBACrC;iBACJ;gBAED,4EAA4E;gBAC5E,2CAA2C;gBAC3C,sBAAsB,GAAG,KAAK,CAAC;aAClC;iBAAM,IAAI,CAAC,cAAc,iCAAwC,CAAC,KAAK,CAAC,EAAE;gBACvE,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE;oBAC1B,WAAW,IAAI,IAAI,CAAC;iBACvB;gBACD,WAAW,IAAI,SAAS,CAAC;gBACzB,sBAAsB,GAAG,KAAK,CAAC;aAClC;SACJ;aAAM,IAAI,KAAK,CAAC,QAAQ,mBAA6B,EAAE;YACpD,IAAI,cAAc,EAAE;gBAChB,WAAW,IAAI,GAAG,CAAC;aACtB;iBAAM;gBACH,OAAO;aACV;SACJ;QAED,IAAI,KAAK,CAAC,UAAU,EAAE;YAClB,IAAI,KAAK,CAAC,sBAAsB,EAAE;gBAC9B,WAAW,IAAI,sBAAsB,GAAG,cAAc,CAAC,eAAe,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;aACxG;iBAAM;gBACH,4EAA4E;gBAC5E,mFAAmF;gBACnF,0CAA0C;gBAC1C,WAAW,IAAI,sBAAsB,GAAG,KAAK,CAAC;aACjD;SACJ;QAED,wEAAwE;QACxE,IAAI,oBAAY,CAAC,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B,EAAE;YAC1F,IAAI,KAAK,CAAC,QAAQ,uBAAiC,EAAE;gBACjD,WAAW,GAAG,KAAK,CAAC;aACvB;iBAAM,IAAI,KAAK,CAAC,QAAQ,6BAAuC,EAAE;gBAC9D,OAAO;aACV;SACJ;QAED,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE;QACxB,gBAAgB,CAAC,IAAI,CACjB,KAAK,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,kBAAkB,EAAE,cAAc,CAAC,EAAE,CAC/F,CAAC;KACL;IAED,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,gBAAgB,GAClB,cAAc,CAAC,MAAM,GAAG,6BAAqB;QACzC,CAAC,CAAC,SAAS,CACL,UAAU,EACV,cAAc,6BAAmC,iCAAsC,EACvF,kBAAkB,EAClB,cAAc,CACjB;QACH,CAAC,CAAC,EAAE,CAAC;IAEb,OAAO,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;AAChD,CAAC;AAxID,gDAwIC;AAED,kEAAkE;AAClE,qCAAqC;AACrC,SAAS,wBAAwB,CAAC,IAAU,EAAE,UAAkB;;IAC5D,MAAM,WAAW,GAAG,CAAC,MAAA,IAAI,CAAC,wBAAwB,mCAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAE7D,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,WAAW,EAAE,SAAS,EAAE,EAAE;QAC1D,UAAU,GAAG,QAAQ,UAAU,GAAG,CAAC;KACtC;IAED,OAAO,UAAU,CAAC;AACtB,CAAC"}