@zzzen/pyright-internal 1.1.254

package/dist/analyzer/typeEvaluatorTypes.d.ts

@@ -0,0 +1,220 @@
+import { CancellationToken } from 'vscode-languageserver-protocol';
+import { DiagnosticLevel } from '../common/configOptions';
+import { Diagnostic, DiagnosticAddendum } from '../common/diagnostic';
+import { TextRange } from '../common/textRange';
+import { ArgumentCategory, ArgumentNode, CallNode, CaseNode, ClassNode, ExpressionNode, FunctionNode, MatchNode, NameNode, ParameterCategory, ParameterNode, ParseNode, RaiseNode, StringNode } from '../parser/parseNodes';
+import * as DeclarationUtils from './aliasDeclarationUtils';
+import { AnalyzerFileInfo } from './analyzerFileInfo';
+import { Declaration } from './declaration';
+import { SymbolWithScope } from './scope';
+import { Symbol } from './symbol';
+import { ClassType, FunctionParameter, FunctionType, OverloadedFunctionType, Type, TypeCondition, TypeVarType } from './types';
+import { AssignTypeFlags, ClassMember } from './typeUtils';
+import { TypeVarContext } from './typeVarContext';
+export declare const maxSubtypesForInferredType = 64;
+export declare const enum EvaluatorFlags {
+    None = 0,
+    ConvertEllipsisToAny = 1,
+    DoNotSpecialize = 2,
+    AllowForwardReferences = 4,
+    EvaluateStringLiteralAsType = 8,
+    FinalDisallowed = 16,
+    ParamSpecDisallowed = 32,
+    ExpectingType = 64,
+    TypeVarTupleDisallowed = 128,
+    ConvertEllipsisToUnknown = 256,
+    AllowGenericClassType = 512,
+    ExpectingTypeAnnotation = 1024,
+    DisallowTypeVarsWithScopeId = 2048,
+    DisallowTypeVarsWithoutScopeId = 4096,
+    AssociateTypeVarsWithCurrentScope = 8192,
+    VariableTypeAnnotation = 32768,
+    DisallowRecursiveTypeAliasPlaceholder = 65536,
+    ClassVarDisallowed = 131072,
+    DisallowNakedGeneric = 262144,
+    NotParsedByInterpreter = 524288,
+    RequiredAllowed = 1048576,
+    AllowUnpackedTupleOrTypeVarTuple = 2097152,
+    InterpreterParsesStringLiteral = 4194304,
+    AllowUnpackedTypedDict = 8388608
+}
+export interface SimpleTypeResult {
+    type: Type;
+    isIncomplete?: boolean | undefined;
+}
+export interface TypeResult extends SimpleTypeResult {
+    node: ParseNode;
+    typeErrors?: boolean | undefined;
+    isEmptyTupleShorthand?: boolean | undefined;
+    unpackedType?: Type | undefined;
+    typeList?: TypeResult[] | undefined;
+    expectedTypeDiagAddendum?: DiagnosticAddendum | undefined;
+    bindToType?: ClassType | TypeVarType | undefined;
+    isSuperCall?: boolean;
+    isAsymmetricDescriptor?: boolean;
+    isRequired?: boolean;
+    isNotRequired?: boolean;
+}
+export interface EvaluatorUsage {
+    method: 'get' | 'set' | 'del';
+    setType?: Type | undefined;
+    setErrorNode?: ExpressionNode | undefined;
+    setExpectedTypeDiag?: DiagnosticAddendum | undefined;
+}
+export interface ClassTypeResult {
+    classType: ClassType;
+    decoratedType: Type;
+}
+export interface FunctionTypeResult {
+    functionType: FunctionType;
+    decoratedType: Type;
+}
+export interface CallSignature {
+    type: FunctionType;
+    activeParam?: FunctionParameter | undefined;
+}
+export interface CallSignatureInfo {
+    signatures: CallSignature[];
+    callNode: CallNode;
+}
+export interface AbstractMethod {
+    symbol: Symbol;
+    symbolName: string;
+    classType: Type;
+    isAbstract: boolean;
+}
+export interface FunctionArgumentBase {
+    argumentCategory: ArgumentCategory;
+    node?: ArgumentNode | undefined;
+    name?: NameNode | undefined;
+    type?: Type | undefined;
+    valueExpression?: ExpressionNode | undefined;
+    active?: boolean | undefined;
+}
+export interface FunctionArgumentWithType extends FunctionArgumentBase {
+    type: Type;
+}
+export interface FunctionArgumentWithExpression extends FunctionArgumentBase {
+    valueExpression: ExpressionNode;
+}
+export declare type FunctionArgument = FunctionArgumentWithType | FunctionArgumentWithExpression;
+export interface EffectiveTypeResult {
+    type: Type;
+    isIncomplete: boolean;
+    includesVariableDecl: boolean;
+    includesIllegalTypeAliasDecl: boolean;
+    isRecursiveDefinition: boolean;
+}
+export interface ValidateArgTypeParams {
+    paramCategory: ParameterCategory;
+    paramType: Type;
+    requiresTypeVarMatching: boolean;
+    argument: FunctionArgument;
+    argType?: Type | undefined;
+    errorNode: ExpressionNode;
+    paramName?: string | undefined;
+    isParamNameSynthesized?: boolean;
+    mapsToVarArgList?: boolean | undefined;
+    expectingType?: boolean;
+}
+export interface AnnotationTypeOptions {
+    isVariableAnnotation?: boolean;
+    allowFinal?: boolean;
+    allowClassVar?: boolean;
+    associateTypeVarsWithScope?: boolean;
+    allowTypeVarTuple?: boolean;
+    allowParamSpec?: boolean;
+    disallowRecursiveTypeAlias?: boolean;
+    allowUnpackedTypedDict?: boolean;
+    allowUnpackedTuple?: boolean;
+    notParsedByInterpreter?: boolean;
+}
+export interface ExpectedTypeResult {
+    type: Type;
+    node: ParseNode;
+}
+export interface FunctionResult {
+    returnType: Type;
+    argumentErrors: boolean;
+    isTypeIncomplete: boolean;
+}
+export interface TypeEvaluator {
+    runWithCancellationToken<T>(token: CancellationToken, callback: () => T): T;
+    getType: (node: ExpressionNode) => Type | undefined;
+    getTypeOfExpression: (node: ExpressionNode, flags?: EvaluatorFlags, expectedType?: Type) => TypeResult;
+    getTypeOfAnnotation: (node: ExpressionNode, options?: AnnotationTypeOptions) => Type;
+    getTypeOfClass: (node: ClassNode) => ClassTypeResult | undefined;
+    getTypeOfFunction: (node: FunctionNode) => FunctionTypeResult | undefined;
+    getTypeOfExpressionExpectingType: (node: ExpressionNode, allowFinal?: boolean, allowRequired?: boolean) => TypeResult;
+    evaluateTypeForSubnode: (subnode: ParseNode, callback: () => void) => TypeResult | undefined;
+    evaluateTypesForStatement: (node: ParseNode) => void;
+    evaluateTypesForMatchStatement: (node: MatchNode) => void;
+    evaluateTypesForCaseStatement: (node: CaseNode) => void;
+    evaluateTypeOfParameter: (node: ParameterNode) => void;
+    canBeTruthy: (type: Type) => boolean;
+    canBeFalsy: (type: Type) => boolean;
+    removeTruthinessFromType: (type: Type) => Type;
+    removeFalsinessFromType: (type: Type) => Type;
+    getExpectedType: (node: ExpressionNode) => ExpectedTypeResult | undefined;
+    verifyRaiseExceptionType: (node: RaiseNode) => void;
+    verifyDeleteExpression: (node: ExpressionNode) => void;
+    isAfterNodeReachable: (node: ParseNode) => boolean;
+    isNodeReachable: (node: ParseNode, sourceNode: ParseNode | undefined) => boolean;
+    isAsymmetricDescriptorAssignment: (node: ParseNode) => boolean;
+    suppressDiagnostics: (node: ParseNode, callback: () => void) => void;
+    getDeclarationsForStringNode: (node: StringNode) => Declaration[] | undefined;
+    getDeclarationsForNameNode: (node: NameNode, skipUnreachableCode?: boolean) => Declaration[] | undefined;
+    getTypeForDeclaration: (declaration: Declaration) => Type | undefined;
+    resolveAliasDeclaration: (declaration: Declaration, resolveLocalNames: boolean, allowExternallyHiddenAccess?: boolean) => Declaration | undefined;
+    resolveAliasDeclarationWithInfo: (declaration: Declaration, resolveLocalNames: boolean, allowExternallyHiddenAccess?: boolean) => DeclarationUtils.ResolvedAliasInfo | undefined;
+    getTypeOfIterable: (type: Type, isAsync: boolean, errorNode: ParseNode | undefined) => Type | undefined;
+    getTypeOfIterator: (type: Type, isAsync: boolean, errorNode: ParseNode | undefined) => Type | undefined;
+    getGetterTypeFromProperty: (propertyClass: ClassType, inferTypeIfNeeded: boolean) => Type | undefined;
+    getTypeOfArgument: (arg: FunctionArgument) => SimpleTypeResult;
+    markNamesAccessed: (node: ParseNode, names: string[]) => void;
+    getScopeIdForNode: (node: ParseNode) => string;
+    makeTopLevelTypeVarsConcrete: (type: Type) => Type;
+    mapSubtypesExpandTypeVars: (type: Type, conditionFilter: TypeCondition[] | undefined, callback: (expandedSubtype: Type, unexpandedSubtype: Type) => Type | undefined) => Type;
+    lookUpSymbolRecursive: (node: ParseNode, name: string, honorCodeFlow: boolean) => SymbolWithScope | undefined;
+    getDeclaredTypeOfSymbol: (symbol: Symbol) => Type | undefined;
+    getEffectiveTypeOfSymbol: (symbol: Symbol) => Type;
+    getEffectiveTypeOfSymbolForUsage: (symbol: Symbol, usageNode?: NameNode, useLastDecl?: boolean) => EffectiveTypeResult;
+    getInferredTypeOfDeclaration: (symbol: Symbol, decl: Declaration) => Type | undefined;
+    getDeclaredTypeForExpression: (expression: ExpressionNode, usage?: EvaluatorUsage) => Type | undefined;
+    getFunctionDeclaredReturnType: (node: FunctionNode) => Type | undefined;
+    getFunctionInferredReturnType: (type: FunctionType, args?: ValidateArgTypeParams[]) => Type;
+    getBestOverloadForArguments: (errorNode: ExpressionNode, type: OverloadedFunctionType, argList: FunctionArgument[]) => FunctionType | undefined;
+    getBuiltInType: (node: ParseNode, name: string) => Type;
+    getTypeOfMember: (member: ClassMember) => Type;
+    getTypeOfObjectMember(errorNode: ExpressionNode, objectType: ClassType, memberName: string): TypeResult | undefined;
+    getBoundMethod: (classType: ClassType, memberName: string, recursionCount?: number, treatConstructorAsClassMember?: boolean) => FunctionType | OverloadedFunctionType | undefined;
+    getTypeOfMagicMethodReturn: (objType: Type, args: Type[], magicMethodName: string, errorNode: ExpressionNode, expectedType: Type | undefined) => Type | undefined;
+    bindFunctionToClassOrObject: (baseType: ClassType | undefined, memberType: FunctionType | OverloadedFunctionType, memberClass?: ClassType, errorNode?: ParseNode, recursionCount?: number, treatConstructorAsClassMember?: boolean, firstParamType?: ClassType | TypeVarType) => FunctionType | OverloadedFunctionType | undefined;
+    getCallSignatureInfo: (node: CallNode, activeIndex: number, activeOrFake: boolean) => CallSignatureInfo | undefined;
+    getAbstractMethods: (classType: ClassType) => AbstractMethod[];
+    narrowConstrainedTypeVar: (node: ParseNode, typeVar: TypeVarType) => Type | undefined;
+    assignType: (destType: Type, srcType: Type, diag?: DiagnosticAddendum, destTypeVarContext?: TypeVarContext, srcTypeVarContext?: TypeVarContext, flags?: AssignTypeFlags, recursionCount?: number) => boolean;
+    validateOverrideMethod: (baseMethod: Type, overrideMethod: FunctionType, diag: DiagnosticAddendum, enforceParamNames?: boolean) => boolean;
+    assignTypeToExpression: (target: ExpressionNode, type: Type, isTypeIncomplete: boolean, srcExpr: ExpressionNode) => void;
+    getBuiltInObject: (node: ParseNode, name: string, typeArguments?: Type[]) => Type;
+    getTypedDictClassType: () => Type | undefined;
+    getTupleClassType: () => Type | undefined;
+    getObjectType: () => Type | undefined;
+    getTypingType: (node: ParseNode, symbolName: string) => Type | undefined;
+    inferReturnTypeIfNecessary: (type: Type) => void;
+    verifyTypeArgumentsAssignable: (destType: ClassType, srcType: ClassType, diag: DiagnosticAddendum | undefined, destTypeVarContext: TypeVarContext | undefined, srcTypeVarContext: TypeVarContext | undefined, flags: AssignTypeFlags, recursionCount: number) => boolean;
+    addError: (message: string, node: ParseNode) => Diagnostic | undefined;
+    addWarning: (message: string, node: ParseNode) => Diagnostic | undefined;
+    addInformation: (message: string, node: ParseNode) => Diagnostic | undefined;
+    addUnusedCode: (node: ParseNode, textRange: TextRange) => void;
+    addDeprecated: (message: string, node: ParseNode) => void;
+    addDiagnostic: (diagLevel: DiagnosticLevel, rule: string, message: string, node: ParseNode) => Diagnostic | undefined;
+    addDiagnosticForTextRange: (fileInfo: AnalyzerFileInfo, diagLevel: DiagnosticLevel, rule: string, message: string, range: TextRange) => Diagnostic | undefined;
+    printType: (type: Type, expandTypeAlias?: boolean) => string;
+    printFunctionParts: (type: FunctionType) => [string[], string];
+    getTypeCacheEntryCount: () => number;
+    disposeEvaluator: () => void;
+    useSpeculativeMode: <T>(speculativeNode: ParseNode, callback: () => T) => T;
+    setTypeForNode: (node: ParseNode, type?: Type, flags?: EvaluatorFlags) => void;
+    checkForCancellation: () => void;
+}

package/dist/analyzer/typeEvaluatorTypes.js

@@ -0,0 +1,16 @@
+"use strict";
+/*
+ * typeEvaluatorTypes.ts
+ * Copyright (c) Microsoft Corporation.
+ * Licensed under the MIT license.
+ * Author: Eric Traut
+ *
+ * Abstract interface and other helper types for type evaluator module.
+ *
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.maxSubtypesForInferredType = void 0;
+// Maximum number of unioned subtypes for an inferred type (e.g.
+// a list) before the type is considered an "Any".
+exports.maxSubtypesForInferredType = 64;
+//# sourceMappingURL=typeEvaluatorTypes.js.map

package/dist/analyzer/typeEvaluatorTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typeEvaluatorTypes.js","sourceRoot":"","sources":["../../../src/analyzer/typeEvaluatorTypes.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAwCH,gEAAgE;AAChE,kDAAkD;AACrC,QAAA,0BAA0B,GAAG,EAAE,CAAC"}

package/dist/analyzer/typeEvaluatorWithTracker.d.ts

@@ -0,0 +1,6 @@
+import { LogTracker } from '../common/logTracker';
+import { ImportLookup } from './analyzerFileInfo';
+import { TracePrinter } from './tracePrinter';
+import { EvaluatorOptions } from './typeEvaluator';
+import { TypeEvaluator } from './typeEvaluatorTypes';
+export declare function createTypeEvaluatorWithTracker(importLookup: ImportLookup, evaluatorOptions: EvaluatorOptions, logger: LogTracker, printer?: TracePrinter): TypeEvaluator;

package/dist/analyzer/typeEvaluatorWithTracker.js

@@ -0,0 +1,121 @@
+"use strict";
+/*
+ * typeEvaluatorWithTracker.ts
+ *
+ * Copyright (c) Microsoft Corporation.
+ * Licensed under the MIT license.
+ * Author: Eric Traut
+ *
+ * This wraps real type evaluator to track performance information such
+ * as which type inferring takes most of time, what files are read most of times
+ * and etc.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createTypeEvaluatorWithTracker = void 0;
+const core_1 = require("../common/core");
+const timing_1 = require("../common/timing");
+const typeEvaluator_1 = require("./typeEvaluator");
+// We don't want to track calls from the type evaluator itself, but only entry points.
+function createTypeEvaluatorWithTracker(importLookup, evaluatorOptions, logger, printer) {
+    if (!evaluatorOptions.logCalls && (0, core_1.isDebugMode)()) {
+        return (0, typeEvaluator_1.createTypeEvaluator)(importLookup, evaluatorOptions);
+    }
+    function run(title, callback, value) {
+        return evaluatorOptions.logCalls
+            ? logger.log(title, (s) => {
+                s.add(printer === null || printer === void 0 ? void 0 : printer.print(value));
+                return timing_1.timingStats.typeEvaluationTime.timeOperation(callback);
+            }, evaluatorOptions.minimumLoggingThreshold, true)
+            : timing_1.timingStats.typeEvaluationTime.timeOperation(callback);
+    }
+    const lookup = evaluatorOptions.logCalls
+        ? (filePath) => logger.log('import lookup', (s) => {
+            s.add(printer === null || printer === void 0 ? void 0 : printer.printFileOrModuleName(filePath));
+            return importLookup(filePath);
+        }, evaluatorOptions.minimumLoggingThreshold, true)
+        : importLookup;
+    const typeEvaluator = (0, typeEvaluator_1.createTypeEvaluator)(lookup, evaluatorOptions);
+    const withTracker = {
+        runWithCancellationToken: typeEvaluator.runWithCancellationToken,
+        getType: (n) => run('getType', () => typeEvaluator.getType(n), n),
+        getTypeOfExpression: (n, f, e) => run('getTypeOfExpression', () => typeEvaluator.getTypeOfExpression(n, f, e), n),
+        getTypeOfAnnotation: typeEvaluator.getTypeOfAnnotation,
+        getTypeOfClass: (n) => run('getTypeOfClass', () => typeEvaluator.getTypeOfClass(n), n),
+        getTypeOfFunction: (n) => run('getTypeOfFunction', () => typeEvaluator.getTypeOfFunction(n), n),
+        getTypeOfExpressionExpectingType: typeEvaluator.getTypeOfExpressionExpectingType,
+        evaluateTypeForSubnode: typeEvaluator.evaluateTypeForSubnode,
+        evaluateTypesForStatement: (n) => run('evaluateTypesForStatement', () => typeEvaluator.evaluateTypesForStatement(n), n),
+        evaluateTypesForMatchStatement: typeEvaluator.evaluateTypesForMatchStatement,
+        evaluateTypesForCaseStatement: typeEvaluator.evaluateTypesForCaseStatement,
+        evaluateTypeOfParameter: typeEvaluator.evaluateTypeOfParameter,
+        canBeTruthy: typeEvaluator.canBeTruthy,
+        canBeFalsy: typeEvaluator.canBeFalsy,
+        removeTruthinessFromType: typeEvaluator.removeTruthinessFromType,
+        removeFalsinessFromType: typeEvaluator.removeFalsinessFromType,
+        getExpectedType: (n) => run('getExpectedType', () => typeEvaluator.getExpectedType(n), n),
+        verifyRaiseExceptionType: (n) => run('verifyRaiseExceptionType', () => typeEvaluator.verifyRaiseExceptionType(n), n),
+        verifyDeleteExpression: (n) => run('verifyDeleteExpression', () => typeEvaluator.verifyDeleteExpression(n), n),
+        isAfterNodeReachable: (n) => run('isAfterNodeReachable', () => typeEvaluator.isAfterNodeReachable(n), n),
+        isNodeReachable: (n, s) => run('isNodeReachable', () => typeEvaluator.isNodeReachable(n, s), n),
+        isAsymmetricDescriptorAssignment: typeEvaluator.isAsymmetricDescriptorAssignment,
+        suppressDiagnostics: (node, callback) => run('suppressDiagnostics', () => typeEvaluator.suppressDiagnostics(node, callback)),
+        getDeclarationsForStringNode: (n) => run('getDeclarationsForStringNode', () => typeEvaluator.getDeclarationsForStringNode(n), n),
+        getDeclarationsForNameNode: (n, s) => run('getDeclarationsForNameNode', () => typeEvaluator.getDeclarationsForNameNode(n, s), n),
+        getTypeForDeclaration: (n) => run('getTypeForDeclaration', () => typeEvaluator.getTypeForDeclaration(n), n),
+        resolveAliasDeclaration: (d, l, h) => run('resolveAliasDeclaration', () => typeEvaluator.resolveAliasDeclaration(d, l, h), d),
+        resolveAliasDeclarationWithInfo: (d, l, h) => run('resolveAliasDeclarationWithInfo', () => typeEvaluator.resolveAliasDeclarationWithInfo(d, l, h), d),
+        getTypeOfIterable: (t, a, e) => run('getTypeOfIterable', () => typeEvaluator.getTypeOfIterable(t, a, e), t),
+        getTypeOfIterator: (t, a, e) => run('getTypeOfIterator', () => typeEvaluator.getTypeOfIterator(t, a, e), t),
+        getGetterTypeFromProperty: (p, i) => run('getGetterTypeFromProperty', () => typeEvaluator.getGetterTypeFromProperty(p, i), p),
+        getTypeOfArgument: typeEvaluator.getTypeOfArgument,
+        markNamesAccessed: (n, a) => run('markNamesAccessed', () => typeEvaluator.markNamesAccessed(n, a), n),
+        getScopeIdForNode: typeEvaluator.getScopeIdForNode,
+        makeTopLevelTypeVarsConcrete: (t) => run('makeTopLevelTypeVarsConcrete', () => typeEvaluator.makeTopLevelTypeVarsConcrete(t), t),
+        mapSubtypesExpandTypeVars: typeEvaluator.mapSubtypesExpandTypeVars,
+        lookUpSymbolRecursive: typeEvaluator.lookUpSymbolRecursive,
+        getDeclaredTypeOfSymbol: typeEvaluator.getDeclaredTypeOfSymbol,
+        getEffectiveTypeOfSymbol: (s) => run('getEffectiveTypeOfSymbol', () => typeEvaluator.getEffectiveTypeOfSymbol(s), s),
+        getEffectiveTypeOfSymbolForUsage: (s, u, d) => run('getEffectiveTypeOfSymbolForUsage', () => typeEvaluator.getEffectiveTypeOfSymbolForUsage(s, u, d), s),
+        getInferredTypeOfDeclaration: typeEvaluator.getInferredTypeOfDeclaration,
+        getDeclaredTypeForExpression: typeEvaluator.getDeclaredTypeForExpression,
+        getFunctionDeclaredReturnType: (n) => run('getFunctionDeclaredReturnType', () => typeEvaluator.getFunctionDeclaredReturnType(n), n),
+        getFunctionInferredReturnType: (t, a) => run('getFunctionInferredReturnType', () => typeEvaluator.getFunctionInferredReturnType(t, a), t),
+        getBestOverloadForArguments: (e, t, a) => typeEvaluator.getBestOverloadForArguments(e, t, a),
+        getBuiltInType: (n, b) => run('getBuiltInType', () => typeEvaluator.getBuiltInType(n, b), n),
+        getTypeOfMember: (m) => run('getTypeOfMember', () => typeEvaluator.getTypeOfMember(m), m.symbol),
+        getTypeOfObjectMember: typeEvaluator.getTypeOfObjectMember,
+        getBoundMethod: typeEvaluator.getBoundMethod,
+        getTypeOfMagicMethodReturn: typeEvaluator.getTypeOfMagicMethodReturn,
+        bindFunctionToClassOrObject: typeEvaluator.bindFunctionToClassOrObject,
+        getCallSignatureInfo: (n, i, a) => run('getCallSignatureInfo', () => typeEvaluator.getCallSignatureInfo(n, i, a), n),
+        getAbstractMethods: (c) => run('getAbstractMethods', () => typeEvaluator.getAbstractMethods(c), c),
+        narrowConstrainedTypeVar: typeEvaluator.narrowConstrainedTypeVar,
+        assignType: (d, s, a, dc, sc, f, r) => run('assignType', () => typeEvaluator.assignType(d, s, a, dc, sc, f, r), d),
+        validateOverrideMethod: (b, o, d, e) => run('validateOverrideMethod', () => typeEvaluator.validateOverrideMethod(b, o, d, e), o),
+        assignTypeToExpression: typeEvaluator.assignTypeToExpression,
+        getBuiltInObject: typeEvaluator.getBuiltInObject,
+        getTypedDictClassType: typeEvaluator.getTypedDictClassType,
+        getTupleClassType: typeEvaluator.getTupleClassType,
+        getObjectType: typeEvaluator.getObjectType,
+        getTypingType: typeEvaluator.getTypingType,
+        inferReturnTypeIfNecessary: typeEvaluator.inferReturnTypeIfNecessary,
+        verifyTypeArgumentsAssignable: typeEvaluator.verifyTypeArgumentsAssignable,
+        addError: (m, n) => run('addError', () => typeEvaluator.addError(m, n), n),
+        addWarning: (m, n) => run('addWarning', () => typeEvaluator.addWarning(m, n), n),
+        addInformation: (m, n) => run('addInformation', () => typeEvaluator.addInformation(m, n), n),
+        addUnusedCode: (n, t) => run('addUnusedCode', () => typeEvaluator.addUnusedCode(n, t), n),
+        addDeprecated: (m, n) => run('addDeprecated', () => typeEvaluator.addDeprecated(m, n), n),
+        addDiagnostic: (d, r, m, n) => run('addDiagnostic', () => typeEvaluator.addDiagnostic(d, r, m, n), n),
+        addDiagnosticForTextRange: (f, d, r, m, g) => run('addDiagnosticForTextRange', () => typeEvaluator.addDiagnosticForTextRange(f, d, r, m, g)),
+        printType: (t, e) => run('printType', () => typeEvaluator.printType(t, e), t),
+        printFunctionParts: (t) => run('printFunctionParts', () => typeEvaluator.printFunctionParts(t), t),
+        getTypeCacheEntryCount: typeEvaluator.getTypeCacheEntryCount,
+        disposeEvaluator: typeEvaluator.disposeEvaluator,
+        useSpeculativeMode: typeEvaluator.useSpeculativeMode,
+        setTypeForNode: typeEvaluator.setTypeForNode,
+        checkForCancellation: typeEvaluator.checkForCancellation,
+    };
+    return withTracker;
+}
+exports.createTypeEvaluatorWithTracker = createTypeEvaluatorWithTracker;
+//# sourceMappingURL=typeEvaluatorWithTracker.js.map

package/dist/analyzer/typeEvaluatorWithTracker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typeEvaluatorWithTracker.js","sourceRoot":"","sources":["../../../src/analyzer/typeEvaluatorWithTracker.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;AAEH,yCAA6C;AAE7C,6CAA+C;AAG/C,mDAAwE;AAGxE,sFAAsF;AACtF,SAAgB,8BAA8B,CAC1C,YAA0B,EAC1B,gBAAkC,EAClC,MAAkB,EAClB,OAAsB;IAEtB,IAAI,CAAC,gBAAgB,CAAC,QAAQ,IAAI,IAAA,kBAAW,GAAE,EAAE;QAC7C,OAAO,IAAA,mCAAmB,EAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC;KAC9D;IAED,SAAS,GAAG,CAAI,KAAa,EAAE,QAAiB,EAAE,KAAqB;QACnE,OAAO,gBAAgB,CAAC,QAAQ;YAC5B,CAAC,CAAC,MAAM,CAAC,GAAG,CACN,KAAK,EACL,CAAC,CAAC,EAAE,EAAE;gBACF,CAAC,CAAC,GAAG,CAAC,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC7B,OAAO,oBAAW,CAAC,kBAAkB,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;YAClE,CAAC,EACD,gBAAgB,CAAC,uBAAuB,EACxC,IAAI,CACP;YACH,CAAC,CAAC,oBAAW,CAAC,kBAAkB,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IACjE,CAAC;IAED,MAAM,MAAM,GAAiB,gBAAgB,CAAC,QAAQ;QAClD,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CACT,MAAM,CAAC,GAAG,CACN,eAAe,EACf,CAAC,CAAC,EAAE,EAAE;YACF,CAAC,CAAC,GAAG,CAAC,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAAC;YAChD,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC;QAClC,CAAC,EACD,gBAAgB,CAAC,uBAAuB,EACxC,IAAI,CACP;QACP,CAAC,CAAC,YAAY,CAAC;IAEnB,MAAM,aAAa,GAAG,IAAA,mCAAmB,EAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAEpE,MAAM,WAAW,GAAkB;QAC/B,wBAAwB,EAAE,aAAa,CAAC,wBAAwB;QAChE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjE,mBAAmB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAC7B,GAAG,CAAC,qBAAqB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACnF,mBAAmB,EAAE,aAAa,CAAC,mBAAmB;QACtD,cAAc,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtF,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,mBAAmB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/F,gCAAgC,EAAE,aAAa,CAAC,gCAAgC;QAChF,sBAAsB,EAAE,aAAa,CAAC,sBAAsB;QAC5D,yBAAyB,EAAE,CAAC,CAAC,EAAE,EAAE,CAC7B,GAAG,CAAC,2BAA2B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzF,8BAA8B,EAAE,aAAa,CAAC,8BAA8B;QAC5E,6BAA6B,EAAE,aAAa,CAAC,6BAA6B;QAC1E,uBAAuB,EAAE,aAAa,CAAC,uBAAuB;QAC9D,WAAW,EAAE,aAAa,CAAC,WAAW;QACtC,UAAU,EAAE,aAAa,CAAC,UAAU;QACpC,wBAAwB,EAAE,aAAa,CAAC,wBAAwB;QAChE,uBAAuB,EAAE,aAAa,CAAC,uBAAuB;QAC9D,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzF,wBAAwB,EAAE,CAAC,CAAC,EAAE,EAAE,CAC5B,GAAG,CAAC,0BAA0B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvF,sBAAsB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,wBAAwB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9G,oBAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxG,eAAe,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/F,gCAAgC,EAAE,aAAa,CAAC,gCAAgC;QAChF,mBAAmB,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CACpC,GAAG,CAAC,qBAAqB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACvF,4BAA4B,EAAE,CAAC,CAAC,EAAE,EAAE,CAChC,GAAG,CAAC,8BAA8B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,4BAA4B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/F,0BAA0B,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACjC,GAAG,CAAC,4BAA4B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,0BAA0B,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9F,qBAAqB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,uBAAuB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3G,uBAAuB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CACjC,GAAG,CAAC,yBAAyB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,uBAAuB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3F,+BAA+B,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CACzC,GAAG,CAAC,iCAAiC,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,+BAA+B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3G,iBAAiB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,mBAAmB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3G,iBAAiB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,mBAAmB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3G,yBAAyB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAChC,GAAG,CAAC,2BAA2B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,yBAAyB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5F,iBAAiB,EAAE,aAAa,CAAC,iBAAiB;QAClD,iBAAiB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,mBAAmB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACrG,iBAAiB,EAAE,aAAa,CAAC,iBAAiB;QAClD,4BAA4B,EAAE,CAAC,CAAC,EAAE,EAAE,CAChC,GAAG,CAAC,8BAA8B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,4BAA4B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/F,yBAAyB,EAAE,aAAa,CAAC,yBAAyB;QAClE,qBAAqB,EAAE,aAAa,CAAC,qBAAqB;QAC1D,uBAAuB,EAAE,aAAa,CAAC,uBAAuB;QAC9D,wBAAwB,EAAE,CAAC,CAAC,EAAE,EAAE,CAC5B,GAAG,CAAC,0BAA0B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvF,gCAAgC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAC1C,GAAG,CAAC,kCAAkC,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,gCAAgC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7G,4BAA4B,EAAE,aAAa,CAAC,4BAA4B;QACxE,4BAA4B,EAAE,aAAa,CAAC,4BAA4B;QACxE,6BAA6B,EAAE,CAAC,CAAC,EAAE,EAAE,CACjC,GAAG,CAAC,+BAA+B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjG,6BAA6B,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACpC,GAAG,CAAC,+BAA+B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACpG,2BAA2B,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,2BAA2B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5F,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5F,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC;QAChG,qBAAqB,EAAE,aAAa,CAAC,qBAAqB;QAC1D,cAAc,EAAE,aAAa,CAAC,cAAc;QAC5C,0BAA0B,EAAE,aAAa,CAAC,0BAA0B;QACpE,2BAA2B,EAAE,aAAa,CAAC,2BAA2B;QACtE,oBAAoB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAC9B,GAAG,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACrF,kBAAkB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,oBAAoB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClG,wBAAwB,EAAE,aAAa,CAAC,wBAAwB;QAChE,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAClC,GAAG,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/E,sBAAsB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CACnC,GAAG,CAAC,wBAAwB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5F,sBAAsB,EAAE,aAAa,CAAC,sBAAsB;QAC5D,gBAAgB,EAAE,aAAa,CAAC,gBAAgB;QAChD,qBAAqB,EAAE,aAAa,CAAC,qBAAqB;QAC1D,iBAAiB,EAAE,aAAa,CAAC,iBAAiB;QAClD,aAAa,EAAE,aAAa,CAAC,aAAa;QAC1C,aAAa,EAAE,aAAa,CAAC,aAAa;QAC1C,0BAA0B,EAAE,aAAa,CAAC,0BAA0B;QACpE,6BAA6B,EAAE,aAAa,CAAC,6BAA6B;QAC1E,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1E,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAChF,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5F,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACzF,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACzF,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACrG,yBAAyB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CACzC,GAAG,CAAC,2BAA2B,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,yBAAyB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAClG,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7E,kBAAkB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,oBAAoB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClG,sBAAsB,EAAE,aAAa,CAAC,sBAAsB;QAC5D,gBAAgB,EAAE,aAAa,CAAC,gBAAgB;QAChD,kBAAkB,EAAE,aAAa,CAAC,kBAAkB;QACpD,cAAc,EAAE,aAAa,CAAC,cAAc;QAC5C,oBAAoB,EAAE,aAAa,CAAC,oBAAoB;KAC3D,CAAC;IAEF,OAAO,WAAW,CAAC;AACvB,CAAC;AA3ID,wEA2IC"}

package/dist/analyzer/typeGuards.d.ts

@@ -0,0 +1,6 @@
+import { ExpressionNode } from '../parser/parseNodes';
+import { TypeEvaluator } from './typeEvaluatorTypes';
+import { ClassType, Type } from './types';
+export declare type TypeNarrowingCallback = (type: Type) => Type | undefined;
+export declare function getTypeNarrowingCallback(evaluator: TypeEvaluator, reference: ExpressionNode, testExpression: ExpressionNode, isPositiveTest: boolean, recursionCount?: number): TypeNarrowingCallback | undefined;
+export declare function enumerateLiteralsForType(evaluator: TypeEvaluator, type: ClassType): ClassType[] | undefined;