@zzzen/pyright-internal 1.2.0-dev.20240728 → 1.2.0-dev.20240811

package/dist/analyzer/constraintSolution.js

@@ -0,0 +1,77 @@
+"use strict";
+/*
+ * constraintSolution.ts
+ * Copyright (c) Microsoft Corporation.
+ * Licensed under the MIT license.
+ * Author: Eric Traut
+ *
+ * Data structure that holds one or more constraint solutions for a set
+ * of type variables.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ConstraintSolution = exports.ConstraintSolutionSet = void 0;
+const debug_1 = require("../common/debug");
+const types_1 = require("./types");
+// Records the types associated with a set of type variables.
+class ConstraintSolutionSet {
+    constructor(scopeIds) {
+        this._typeVarMap = new Map();
+        if (scopeIds) {
+            this._scopeIds = new Set(scopeIds);
+        }
+    }
+    isEmpty() {
+        return this._typeVarMap.size === 0;
+    }
+    getType(typeVar) {
+        const key = types_1.TypeVarType.getNameWithScope(typeVar);
+        return this._typeVarMap.get(key);
+    }
+    setType(typeVar, type) {
+        const key = types_1.TypeVarType.getNameWithScope(typeVar);
+        return this._typeVarMap.set(key, type);
+    }
+    hasType(typeVar) {
+        const key = types_1.TypeVarType.getNameWithScope(typeVar);
+        return this._typeVarMap.has(key);
+    }
+    doForEachTypeVar(callback) {
+        this._typeVarMap.forEach((type, key) => {
+            if (type) {
+                callback(type, key);
+            }
+        });
+    }
+}
+exports.ConstraintSolutionSet = ConstraintSolutionSet;
+class ConstraintSolution {
+    constructor(solutionSets) {
+        this._solutionSets =
+            solutionSets && solutionSets.length > 0 ? [...solutionSets] : [new ConstraintSolutionSet()];
+    }
+    isEmpty() {
+        return this._solutionSets.every((set) => set.isEmpty());
+    }
+    setType(typeVar, type) {
+        return this._solutionSets.forEach((set) => {
+            set.setType(typeVar, type);
+        });
+    }
+    getMainSolutionSet() {
+        return this.getSolutionSet(0);
+    }
+    getSolutionSets() {
+        return this._solutionSets;
+    }
+    doForEachSolutionSet(callback) {
+        this.getSolutionSets().forEach((set, index) => {
+            callback(set, index);
+        });
+    }
+    getSolutionSet(index) {
+        (0, debug_1.assert)(index >= 0 && index < this._solutionSets.length);
+        return this._solutionSets[index];
+    }
+}
+exports.ConstraintSolution = ConstraintSolution;
+//# sourceMappingURL=constraintSolution.js.map

package/dist/analyzer/constraintSolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraintSolution.js","sourceRoot":"","sources":["../../../../../src/analyzer/constraintSolution.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAEH,2CAAyC;AACzC,mCAAyE;AAEzE,6DAA6D;AAC7D,MAAa,qBAAqB;IAQ9B,YAAY,QAAsB;QAC9B,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,EAAgB,CAAC;QAE3C,IAAI,QAAQ,EAAE,CAAC;YACX,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,CAAC;QAC/C,CAAC;IACL,CAAC;IAED,OAAO;QACH,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,CAAC;IACvC,CAAC;IAID,OAAO,CAAC,OAAoB;QACxB,MAAM,GAAG,GAAG,mBAAW,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,CAAC,OAAoB,EAAE,IAAsB;QAChD,MAAM,GAAG,GAAG,mBAAW,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,OAAO,CAAC,OAAoB;QACxB,MAAM,GAAG,GAAG,mBAAW,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC;IAED,gBAAgB,CAAC,QAAiD;QAC9D,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;YACnC,IAAI,IAAI,EAAE,CAAC;gBACP,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACxB,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC;CACJ;AA5CD,sDA4CC;AAED,MAAa,kBAAkB;IAG3B,YAAY,YAAsC;QAC9C,IAAI,CAAC,aAAa;YACd,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,qBAAqB,EAAE,CAAC,CAAC;IACpG,CAAC;IAED,OAAO;QACH,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED,OAAO,CAAC,OAAoB,EAAE,IAAU;QACpC,OAAO,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;YACtC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC;IACP,CAAC;IAED,kBAAkB;QACd,OAAO,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC;IAED,eAAe;QACX,OAAO,IAAI,CAAC,aAAa,CAAC;IAC9B,CAAC;IAED,oBAAoB,CAAC,QAAqE;QACtF,IAAI,CAAC,eAAe,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;YAC1C,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACzB,CAAC,CAAC,CAAC;IACP,CAAC;IAED,cAAc,CAAC,KAAa;QACxB,IAAA,cAAM,EAAC,KAAK,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QACxD,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;CACJ;AApCD,gDAoCC"}

package/dist/analyzer/constraintSolver.d.ts

@@ -1,8 +1,11 @@
 import { DiagnosticAddendum } from '../common/diagnostic';
-import { TypeEvaluator } from './typeEvaluatorTypes';
+import { ConstraintSolution, ConstraintSolutionSet } from './constraintSolution';
+import { ConstraintSet, ConstraintTracker } from './constraintTracker';
+import { SolveConstraintsOptions, TypeEvaluator } from './typeEvaluatorTypes';
 import { ClassType, Type, TypeVarScopeId, TypeVarType } from './types';
 import { AssignTypeFlags } from './typeUtils';
-import { TypeVarContext } from './typeVarContext';
-export declare function assignTypeToTypeVar(evaluator: TypeEvaluator, destType: TypeVarType, srcType: Type, diag: DiagnosticAddendum | undefined, typeVarContext: TypeVarContext, flags?: AssignTypeFlags, recursionCount?: number): boolean;
-export declare function updateTypeVarType(evaluator: TypeEvaluator, typeVarContext: TypeVarContext, destType: TypeVarType, lowerBound: Type | undefined, upperBound: Type | undefined, forceRetainLiterals?: boolean): void;
-export declare function addConstraintsForExpectedType(evaluator: TypeEvaluator, type: ClassType, expectedType: Type, typeVarContext: TypeVarContext, liveTypeVarScopes: TypeVarScopeId[] | undefined, usageOffset?: number | undefined): boolean;
+export declare function assignTypeVar(evaluator: TypeEvaluator, destType: TypeVarType, srcType: Type, diag: DiagnosticAddendum | undefined, constraints: ConstraintTracker | undefined, flags?: AssignTypeFlags, recursionCount?: number): boolean;
+export declare function solveConstraints(evaluator: TypeEvaluator, constraints: ConstraintTracker, options?: SolveConstraintsOptions): ConstraintSolution;
+export declare function applySourceSolutionToConstraints(constraints: ConstraintTracker, srcSolution: ConstraintSolution): void;
+export declare function solveConstraintSet(evaluator: TypeEvaluator, constraintSet: ConstraintSet, options?: SolveConstraintsOptions): ConstraintSolutionSet;
+export declare function addConstraintsForExpectedType(evaluator: TypeEvaluator, type: ClassType, expectedType: Type, constraints: ConstraintTracker, liveTypeVarScopes: TypeVarScopeId[] | undefined, usageOffset?: number | undefined): boolean;