@zzzen/pyright-internal 1.2.0-dev.20240721 → 1.2.0-dev.20240804
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/analyzer/analyzerNodeInfo.js +2 -2
- package/dist/analyzer/analyzerNodeInfo.js.map +1 -1
- package/dist/analyzer/binder.js +15 -12
- package/dist/analyzer/binder.js.map +1 -1
- package/dist/analyzer/cacheManager.js +3 -0
- package/dist/analyzer/cacheManager.js.map +1 -1
- package/dist/analyzer/checker.d.ts +5 -3
- package/dist/analyzer/checker.js +238 -193
- package/dist/analyzer/checker.js.map +1 -1
- package/dist/analyzer/codeFlowEngine.d.ts +2 -2
- package/dist/analyzer/codeFlowEngine.js +53 -46
- package/dist/analyzer/codeFlowEngine.js.map +1 -1
- package/dist/analyzer/codeFlowTypes.js +1 -1
- package/dist/analyzer/codeFlowTypes.js.map +1 -1
- package/dist/analyzer/constraintSolution.d.ts +21 -0
- package/dist/analyzer/constraintSolution.js +71 -0
- package/dist/analyzer/constraintSolution.js.map +1 -0
- package/dist/analyzer/constraintSolver.d.ts +10 -6
- package/dist/analyzer/constraintSolver.js +520 -462
- package/dist/analyzer/constraintSolver.js.map +1 -1
- package/dist/analyzer/constraintTracker.d.ts +44 -0
- package/dist/analyzer/constraintTracker.js +230 -0
- package/dist/analyzer/constraintTracker.js.map +1 -0
- package/dist/analyzer/constructorTransform.d.ts +2 -2
- package/dist/analyzer/constructorTransform.js +25 -25
- package/dist/analyzer/constructorTransform.js.map +1 -1
- package/dist/analyzer/constructors.d.ts +3 -3
- package/dist/analyzer/constructors.js +80 -64
- package/dist/analyzer/constructors.js.map +1 -1
- package/dist/analyzer/dataClasses.d.ts +2 -2
- package/dist/analyzer/dataClasses.js +87 -61
- package/dist/analyzer/dataClasses.js.map +1 -1
- package/dist/analyzer/declaration.d.ts +9 -9
- package/dist/analyzer/declaration.js +9 -9
- package/dist/analyzer/declaration.js.map +1 -1
- package/dist/analyzer/declarationUtils.d.ts +1 -1
- package/dist/analyzer/declarationUtils.js +6 -6
- package/dist/analyzer/declarationUtils.js.map +1 -1
- package/dist/analyzer/decorators.js +5 -5
- package/dist/analyzer/decorators.js.map +1 -1
- package/dist/analyzer/docStringConversion.js +2 -2
- package/dist/analyzer/docStringConversion.js.map +1 -1
- package/dist/analyzer/enums.d.ts +2 -2
- package/dist/analyzer/enums.js +6 -6
- package/dist/analyzer/enums.js.map +1 -1
- package/dist/analyzer/functionTransform.d.ts +2 -2
- package/dist/analyzer/functionTransform.js +5 -5
- package/dist/analyzer/functionTransform.js.map +1 -1
- package/dist/analyzer/importResolver.js +5 -3
- package/dist/analyzer/importResolver.js.map +1 -1
- package/dist/analyzer/namedTuples.d.ts +3 -3
- package/dist/analyzer/namedTuples.js +21 -22
- package/dist/analyzer/namedTuples.js.map +1 -1
- package/dist/analyzer/operations.d.ts +1 -2
- package/dist/analyzer/operations.js +105 -82
- package/dist/analyzer/operations.js.map +1 -1
- package/dist/analyzer/packageTypeVerifier.js +16 -12
- package/dist/analyzer/packageTypeVerifier.js.map +1 -1
- package/dist/analyzer/parameterUtils.d.ts +12 -12
- package/dist/analyzer/parameterUtils.js +67 -69
- package/dist/analyzer/parameterUtils.js.map +1 -1
- package/dist/analyzer/parseTreeUtils.d.ts +6 -6
- package/dist/analyzer/parseTreeUtils.js +22 -22
- package/dist/analyzer/parseTreeUtils.js.map +1 -1
- package/dist/analyzer/patternMatching.js +122 -101
- package/dist/analyzer/patternMatching.js.map +1 -1
- package/dist/analyzer/program.js +11 -4
- package/dist/analyzer/program.js.map +1 -1
- package/dist/analyzer/properties.d.ts +3 -2
- package/dist/analyzer/properties.js +27 -27
- package/dist/analyzer/properties.js.map +1 -1
- package/dist/analyzer/protocols.d.ts +3 -3
- package/dist/analyzer/protocols.js +58 -57
- package/dist/analyzer/protocols.js.map +1 -1
- package/dist/analyzer/pythonPathUtils.js +1 -1
- package/dist/analyzer/pythonPathUtils.js.map +1 -1
- package/dist/analyzer/service.d.ts +3 -7
- package/dist/analyzer/service.js +28 -30
- package/dist/analyzer/service.js.map +1 -1
- package/dist/analyzer/serviceUtils.d.ts +8 -0
- package/dist/analyzer/serviceUtils.js +31 -0
- package/dist/analyzer/serviceUtils.js.map +1 -0
- package/dist/analyzer/sourceFile.js +5 -19
- package/dist/analyzer/sourceFile.js.map +1 -1
- package/dist/analyzer/sourceMapper.d.ts +1 -1
- package/dist/analyzer/sourceMapper.js +4 -4
- package/dist/analyzer/sourceMapper.js.map +1 -1
- package/dist/analyzer/staticExpressions.js +1 -1
- package/dist/analyzer/staticExpressions.js.map +1 -1
- package/dist/analyzer/tracePrinter.js +4 -4
- package/dist/analyzer/tracePrinter.js.map +1 -1
- package/dist/analyzer/tuples.d.ts +9 -0
- package/dist/analyzer/tuples.js +253 -0
- package/dist/analyzer/tuples.js.map +1 -0
- package/dist/analyzer/typeComplexity.d.ts +2 -0
- package/dist/analyzer/typeComplexity.js +94 -0
- package/dist/analyzer/typeComplexity.js.map +1 -0
- package/dist/analyzer/typeEvaluator.js +1758 -1979
- package/dist/analyzer/typeEvaluator.js.map +1 -1
- package/dist/analyzer/typeEvaluatorTypes.d.ts +69 -45
- package/dist/analyzer/typeEvaluatorTypes.js +7 -1
- package/dist/analyzer/typeEvaluatorTypes.js.map +1 -1
- package/dist/analyzer/typeGuards.js +157 -121
- package/dist/analyzer/typeGuards.js.map +1 -1
- package/dist/analyzer/typePrinter.d.ts +1 -1
- package/dist/analyzer/typePrinter.js +64 -61
- package/dist/analyzer/typePrinter.js.map +1 -1
- package/dist/analyzer/typeStubWriter.d.ts +3 -3
- package/dist/analyzer/typeStubWriter.js +15 -15
- package/dist/analyzer/typeStubWriter.js.map +1 -1
- package/dist/analyzer/typeUtils.d.ts +45 -41
- package/dist/analyzer/typeUtils.js +511 -748
- package/dist/analyzer/typeUtils.js.map +1 -1
- package/dist/analyzer/typeWalker.js +4 -4
- package/dist/analyzer/typeWalker.js.map +1 -1
- package/dist/analyzer/typedDicts.d.ts +4 -4
- package/dist/analyzer/typedDicts.js +73 -77
- package/dist/analyzer/typedDicts.js.map +1 -1
- package/dist/analyzer/types.d.ts +97 -72
- package/dist/analyzer/types.js +217 -208
- package/dist/analyzer/types.js.map +1 -1
- package/dist/commands/dumpFileDebugInfoCommand.js +11 -11
- package/dist/commands/dumpFileDebugInfoCommand.js.map +1 -1
- package/dist/common/configOptions.d.ts +1 -0
- package/dist/common/configOptions.js +5 -0
- package/dist/common/configOptions.js.map +1 -1
- package/dist/common/diagnosticRules.d.ts +1 -0
- package/dist/common/diagnosticRules.js +1 -0
- package/dist/common/diagnosticRules.js.map +1 -1
- package/dist/common/fileSystem.d.ts +0 -1
- package/dist/common/fileSystem.js.map +1 -1
- package/dist/common/languageServerInterface.d.ts +13 -0
- package/dist/common/languageServerInterface.js +15 -1
- package/dist/common/languageServerInterface.js.map +1 -1
- package/dist/common/lspUtils.js +2 -2
- package/dist/common/memUtils.d.ts +4 -0
- package/dist/common/memUtils.js +33 -2
- package/dist/common/memUtils.js.map +1 -1
- package/dist/common/serviceKeys.d.ts +3 -0
- package/dist/common/serviceKeys.js +2 -0
- package/dist/common/serviceKeys.js.map +1 -1
- package/dist/common/serviceProviderExtensions.js +7 -0
- package/dist/common/serviceProviderExtensions.js.map +1 -1
- package/dist/languageServerBase.d.ts +5 -4
- package/dist/languageServerBase.js +19 -12
- package/dist/languageServerBase.js.map +1 -1
- package/dist/languageService/autoImporter.d.ts +3 -2
- package/dist/languageService/autoImporter.js +5 -1
- package/dist/languageService/autoImporter.js.map +1 -1
- package/dist/languageService/completionProvider.d.ts +5 -3
- package/dist/languageService/completionProvider.js +39 -38
- package/dist/languageService/completionProvider.js.map +1 -1
- package/dist/languageService/completionProviderUtils.d.ts +1 -1
- package/dist/languageService/completionProviderUtils.js +3 -3
- package/dist/languageService/completionProviderUtils.js.map +1 -1
- package/dist/languageService/fileWatcherDynamicFeature.js +2 -2
- package/dist/languageService/fileWatcherDynamicFeature.js.map +1 -1
- package/dist/languageService/hoverProvider.js +3 -3
- package/dist/languageService/hoverProvider.js.map +1 -1
- package/dist/languageService/referencesProvider.js +2 -2
- package/dist/languageService/signatureHelpProvider.js +1 -1
- package/dist/languageService/signatureHelpProvider.js.map +1 -1
- package/dist/languageService/tooltipUtils.js +3 -3
- package/dist/languageService/tooltipUtils.js.map +1 -1
- package/dist/localization/localize.d.ts +5 -0
- package/dist/localization/localize.js +6 -0
- package/dist/localization/localize.js.map +1 -1
- package/dist/localization/package.nls.cs.json +5 -1
- package/dist/localization/package.nls.de.json +5 -1
- package/dist/localization/package.nls.en-us.json +5 -0
- package/dist/localization/package.nls.es.json +5 -1
- package/dist/localization/package.nls.fr.json +5 -1
- package/dist/localization/package.nls.it.json +5 -1
- package/dist/localization/package.nls.ja.json +5 -1
- package/dist/localization/package.nls.ko.json +5 -1
- package/dist/localization/package.nls.pl.json +5 -1
- package/dist/localization/package.nls.pt-br.json +5 -1
- package/dist/localization/package.nls.qps-ploc.json +5 -1
- package/dist/localization/package.nls.ru.json +5 -1
- package/dist/localization/package.nls.tr.json +5 -1
- package/dist/localization/package.nls.zh-cn.json +5 -1
- package/dist/localization/package.nls.zh-tw.json +5 -1
- package/dist/parser/parseNodes.d.ts +9 -9
- package/dist/parser/parseNodes.js +20 -20
- package/dist/parser/parseNodes.js.map +1 -1
- package/dist/parser/parser.js +30 -30
- package/dist/parser/parser.js.map +1 -1
- package/dist/tests/checker.test.js +12 -4
- package/dist/tests/checker.test.js.map +1 -1
- package/dist/tests/fourslash/signature.builtinDocstrings.fourslash.js +4 -21
- package/dist/tests/fourslash/signature.builtinDocstrings.fourslash.js.map +1 -1
- package/dist/tests/fourslash/signature.complicated.fourslash.js +1 -1
- package/dist/tests/fourslash/signature.complicated.fourslash.js.map +1 -1
- package/dist/tests/harness/fourslash/fourSlashParser.js +1 -1
- package/dist/tests/harness/fourslash/fourSlashParser.js.map +1 -1
- package/dist/tests/harness/fourslash/testStateUtils.js +2 -2
- package/dist/tests/harness/fourslash/testStateUtils.js.map +1 -1
- package/dist/tests/harness/vfs/filesystem.d.ts +0 -1
- package/dist/tests/harness/vfs/filesystem.js +0 -4
- package/dist/tests/harness/vfs/filesystem.js.map +1 -1
- package/dist/tests/importResolver.test.js +62 -15
- package/dist/tests/importResolver.test.js.map +1 -1
- package/dist/tests/lsp/languageServerTestUtils.js +1 -1
- package/dist/tests/lsp/languageServerTestUtils.js.map +1 -1
- package/dist/tests/typeEvaluator1.test.js +1 -1
- package/dist/tests/typeEvaluator2.test.js +12 -0
- package/dist/tests/typeEvaluator2.test.js.map +1 -1
- package/dist/tests/typeEvaluator3.test.js +5 -1
- package/dist/tests/typeEvaluator3.test.js.map +1 -1
- package/dist/tests/typeEvaluator4.test.js +10 -2
- package/dist/tests/typeEvaluator4.test.js.map +1 -1
- package/dist/tests/typeEvaluator5.test.js +9 -3
- package/dist/tests/typeEvaluator5.test.js.map +1 -1
- package/dist/tests/typeEvaluator6.test.js +72 -60
- package/dist/tests/typeEvaluator6.test.js.map +1 -1
- package/dist/tests/typeEvaluator7.test.js +6 -2
- package/dist/tests/typeEvaluator7.test.js.map +1 -1
- package/dist/tests/typeEvaluator8.test.js +4 -0
- package/dist/tests/typeEvaluator8.test.js.map +1 -1
- package/dist/tests/typePrinter.test.js +13 -18
- package/dist/tests/typePrinter.test.js.map +1 -1
- package/dist/workspaceFactory.d.ts +3 -2
- package/dist/workspaceFactory.js +15 -2
- package/dist/workspaceFactory.js.map +1 -1
- package/package.json +1 -1
- package/dist/analyzer/typeVarContext.d.ts +0 -60
- package/dist/analyzer/typeVarContext.js +0 -392
- package/dist/analyzer/typeVarContext.js.map +0 -1
@@ -1,392 +0,0 @@
|
|
1
|
-
"use strict";
|
2
|
-
/*
|
3
|
-
* typeVarContext.ts
|
4
|
-
* Copyright (c) Microsoft Corporation.
|
5
|
-
* Licensed under the MIT license.
|
6
|
-
* Author: Eric Traut
|
7
|
-
*
|
8
|
-
* Module that records the relationship between type variables (and ParamSpecs)
|
9
|
-
* and their types. It is used by the type evaluator to "solve" for the type of
|
10
|
-
* each type variable.
|
11
|
-
*/
|
12
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
13
|
-
exports.TypeVarContext = exports.TypeVarSignatureContext = void 0;
|
14
|
-
const debug_1 = require("../common/debug");
|
15
|
-
const typeUtils_1 = require("./typeUtils");
|
16
|
-
const types_1 = require("./types");
|
17
|
-
// The maximum number of signature contexts that can be associated
|
18
|
-
// with a TypeVarContext. This equates to the number of overloads
|
19
|
-
// that can be captured by a ParamSpec (or multiple ParamSpecs).
|
20
|
-
// We should never hit this limit in practice, but there are certain
|
21
|
-
// pathological cases where we could, and we need to protect against
|
22
|
-
// this so it doesn't completely exhaust memory. This was previously
|
23
|
-
// set to 64, but we have seen cases where a library uses in excess
|
24
|
-
// of 300 overloads on a single function.
|
25
|
-
const maxSignatureContextCount = 1024;
|
26
|
-
class TypeVarSignatureContext {
|
27
|
-
constructor() {
|
28
|
-
this._typeVarMap = new Map();
|
29
|
-
}
|
30
|
-
clone() {
|
31
|
-
const newContext = new TypeVarSignatureContext();
|
32
|
-
this._typeVarMap.forEach((value) => {
|
33
|
-
newContext.setTypeVarType(value.typeVar, value.narrowBound, value.narrowBoundNoLiterals, value.wideBound);
|
34
|
-
if (value.tupleTypes) {
|
35
|
-
newContext.setTupleTypeVar(value.typeVar, value.tupleTypes);
|
36
|
-
}
|
37
|
-
});
|
38
|
-
if (this._sourceTypeVarScopeId) {
|
39
|
-
this._sourceTypeVarScopeId.forEach((scopeId) => newContext.addSourceTypeVarScopeId(scopeId));
|
40
|
-
}
|
41
|
-
return newContext;
|
42
|
-
}
|
43
|
-
isSame(other) {
|
44
|
-
if (this._typeVarMap.size !== other._typeVarMap.size) {
|
45
|
-
return false;
|
46
|
-
}
|
47
|
-
function typesMatch(type1, type2) {
|
48
|
-
if (!type1 || !type2) {
|
49
|
-
return type1 === type2;
|
50
|
-
}
|
51
|
-
return (0, types_1.isTypeSame)(type1, type2);
|
52
|
-
}
|
53
|
-
let isSame = true;
|
54
|
-
this._typeVarMap.forEach((value, key) => {
|
55
|
-
const otherValue = other._typeVarMap.get(key);
|
56
|
-
if (!otherValue ||
|
57
|
-
!typesMatch(value.narrowBound, otherValue.narrowBound) ||
|
58
|
-
!typesMatch(value.wideBound, otherValue.wideBound)) {
|
59
|
-
isSame = false;
|
60
|
-
}
|
61
|
-
});
|
62
|
-
return isSame;
|
63
|
-
}
|
64
|
-
isEmpty() {
|
65
|
-
return this._typeVarMap.size === 0;
|
66
|
-
}
|
67
|
-
// Provides a "score" - a value that values completeness (number
|
68
|
-
// of type variables that are assigned) and simplicity.
|
69
|
-
getScore() {
|
70
|
-
let score = 0;
|
71
|
-
// Sum the scores for the defined type vars.
|
72
|
-
this._typeVarMap.forEach((value) => {
|
73
|
-
// Add 1 to the score for each type variable defined.
|
74
|
-
score += 1;
|
75
|
-
// Add a fractional amount based on the simplicity of the definition.
|
76
|
-
// The more complex, the lower the score. In the spirit of Occam's
|
77
|
-
// Razor, we always want to favor simple answers.
|
78
|
-
const typeVarType = this.getTypeVarType(value.typeVar);
|
79
|
-
score += 1.0 - this._getComplexityScoreForType(typeVarType);
|
80
|
-
});
|
81
|
-
return score;
|
82
|
-
}
|
83
|
-
getTypeVarType(reference, useNarrowBoundOnly = false) {
|
84
|
-
var _a, _b;
|
85
|
-
const entry = this.getTypeVar(reference);
|
86
|
-
if (!entry) {
|
87
|
-
return undefined;
|
88
|
-
}
|
89
|
-
if (useNarrowBoundOnly) {
|
90
|
-
return entry.narrowBound;
|
91
|
-
}
|
92
|
-
// Prefer the narrow version with no literals. It will be undefined
|
93
|
-
// if the literal type couldn't be widened due to constraints imposed
|
94
|
-
// by the wide bound.
|
95
|
-
return (_b = (_a = entry.narrowBoundNoLiterals) !== null && _a !== void 0 ? _a : entry.narrowBound) !== null && _b !== void 0 ? _b : entry.wideBound;
|
96
|
-
}
|
97
|
-
getParamSpecType(reference) {
|
98
|
-
const entry = this.getTypeVar(reference);
|
99
|
-
if (!(entry === null || entry === void 0 ? void 0 : entry.narrowBound)) {
|
100
|
-
return undefined;
|
101
|
-
}
|
102
|
-
if ((0, types_1.isFunction)(entry.narrowBound)) {
|
103
|
-
return entry.narrowBound;
|
104
|
-
}
|
105
|
-
if ((0, types_1.isAnyOrUnknown)(entry.narrowBound)) {
|
106
|
-
return (0, typeUtils_1.getUnknownTypeForParamSpec)();
|
107
|
-
}
|
108
|
-
return undefined;
|
109
|
-
}
|
110
|
-
setTypeVarType(reference, narrowBound, narrowBoundNoLiterals, wideBound, tupleTypes) {
|
111
|
-
const key = types_1.TypeVarType.getNameWithScope(reference);
|
112
|
-
this._typeVarMap.set(key, {
|
113
|
-
typeVar: reference,
|
114
|
-
narrowBound,
|
115
|
-
narrowBoundNoLiterals,
|
116
|
-
wideBound,
|
117
|
-
tupleTypes,
|
118
|
-
});
|
119
|
-
}
|
120
|
-
getTupleTypeVar(reference) {
|
121
|
-
var _a;
|
122
|
-
return (_a = this.getTypeVar(reference)) === null || _a === void 0 ? void 0 : _a.tupleTypes;
|
123
|
-
}
|
124
|
-
setTupleTypeVar(reference, types) {
|
125
|
-
// Caller should have already assigned a value to this type variable.
|
126
|
-
const entry = this.getTypeVar(reference);
|
127
|
-
(0, debug_1.assert)(entry);
|
128
|
-
entry.tupleTypes = types;
|
129
|
-
}
|
130
|
-
getTypeVar(reference) {
|
131
|
-
const key = types_1.TypeVarType.getNameWithScope(reference);
|
132
|
-
return this._typeVarMap.get(key);
|
133
|
-
}
|
134
|
-
getTypeVars() {
|
135
|
-
const entries = [];
|
136
|
-
this._typeVarMap.forEach((entry) => {
|
137
|
-
entries.push(entry);
|
138
|
-
});
|
139
|
-
return entries;
|
140
|
-
}
|
141
|
-
getTypeVarCount() {
|
142
|
-
return this._typeVarMap.size;
|
143
|
-
}
|
144
|
-
getWideTypeBound(reference) {
|
145
|
-
const entry = this.getTypeVar(reference);
|
146
|
-
if (entry) {
|
147
|
-
return entry.wideBound;
|
148
|
-
}
|
149
|
-
return undefined;
|
150
|
-
}
|
151
|
-
addSourceTypeVarScopeId(scopeId) {
|
152
|
-
if (!this._sourceTypeVarScopeId) {
|
153
|
-
this._sourceTypeVarScopeId = new Set();
|
154
|
-
}
|
155
|
-
this._sourceTypeVarScopeId.add(scopeId);
|
156
|
-
}
|
157
|
-
hasSourceTypeVarScopeId(scopeId) {
|
158
|
-
if (!this._sourceTypeVarScopeId) {
|
159
|
-
return false;
|
160
|
-
}
|
161
|
-
return this._sourceTypeVarScopeId.has(scopeId);
|
162
|
-
}
|
163
|
-
// Returns a "score" for a type that captures the relative complexity
|
164
|
-
// of the type. Scores should all be between 0 and 1 where 0 means
|
165
|
-
// very simple and 1 means complex. This is a heuristic, so there's
|
166
|
-
// often no objectively correct answer.
|
167
|
-
_getComplexityScoreForType(type, recursionCount = 0) {
|
168
|
-
if (recursionCount > types_1.maxTypeRecursionCount) {
|
169
|
-
return 1;
|
170
|
-
}
|
171
|
-
recursionCount++;
|
172
|
-
switch (type.category) {
|
173
|
-
case 1 /* TypeCategory.Unknown */:
|
174
|
-
case 2 /* TypeCategory.Any */:
|
175
|
-
case 9 /* TypeCategory.TypeVar */: {
|
176
|
-
return 0.5;
|
177
|
-
}
|
178
|
-
case 4 /* TypeCategory.Function */:
|
179
|
-
case 5 /* TypeCategory.OverloadedFunction */: {
|
180
|
-
// Classes and unions should be preferred over functions,
|
181
|
-
// so make this relatively high (more than 0.75).
|
182
|
-
return 0.8;
|
183
|
-
}
|
184
|
-
case 0 /* TypeCategory.Unbound */:
|
185
|
-
case 3 /* TypeCategory.Never */:
|
186
|
-
return 1.0;
|
187
|
-
case 8 /* TypeCategory.Union */: {
|
188
|
-
let maxScore = 0;
|
189
|
-
// If this union has a very large number of subtypes, don't bother
|
190
|
-
// accurately computing the score. Assume a fixed value.
|
191
|
-
if (type.priv.subtypes.length < 16) {
|
192
|
-
type.priv.subtypes.forEach((subtype) => {
|
193
|
-
const subtypeScore = this._getComplexityScoreForType(subtype, recursionCount);
|
194
|
-
maxScore = Math.max(maxScore, subtypeScore);
|
195
|
-
});
|
196
|
-
}
|
197
|
-
else {
|
198
|
-
maxScore = 0.5;
|
199
|
-
}
|
200
|
-
return maxScore;
|
201
|
-
}
|
202
|
-
case 6 /* TypeCategory.Class */: {
|
203
|
-
return this._getComplexityScoreForClass(type, recursionCount);
|
204
|
-
}
|
205
|
-
}
|
206
|
-
// For all other types, return a score of 0.
|
207
|
-
return 0;
|
208
|
-
}
|
209
|
-
_getComplexityScoreForClass(classType, recursionCount) {
|
210
|
-
let typeArgScoreSum = 0;
|
211
|
-
let typeArgCount = 0;
|
212
|
-
if (classType.priv.tupleTypeArguments) {
|
213
|
-
classType.priv.tupleTypeArguments.forEach((typeArg) => {
|
214
|
-
typeArgScoreSum += this._getComplexityScoreForType(typeArg.type, recursionCount);
|
215
|
-
typeArgCount++;
|
216
|
-
});
|
217
|
-
}
|
218
|
-
else if (classType.priv.typeArguments) {
|
219
|
-
classType.priv.typeArguments.forEach((type) => {
|
220
|
-
typeArgScoreSum += this._getComplexityScoreForType(type, recursionCount);
|
221
|
-
typeArgCount++;
|
222
|
-
});
|
223
|
-
}
|
224
|
-
else if (classType.shared.typeParameters) {
|
225
|
-
classType.shared.typeParameters.forEach((type) => {
|
226
|
-
typeArgScoreSum += this._getComplexityScoreForType(types_1.AnyType.create(), recursionCount);
|
227
|
-
typeArgCount++;
|
228
|
-
});
|
229
|
-
}
|
230
|
-
const averageTypeArgComplexity = typeArgCount > 0 ? typeArgScoreSum / typeArgCount : 0;
|
231
|
-
return 0.5 + averageTypeArgComplexity * 0.25;
|
232
|
-
}
|
233
|
-
}
|
234
|
-
exports.TypeVarSignatureContext = TypeVarSignatureContext;
|
235
|
-
class TypeVarContext {
|
236
|
-
constructor(solveForScopes) {
|
237
|
-
this._isLocked = false;
|
238
|
-
this._id = TypeVarContext.nextTypeVarContextId++;
|
239
|
-
if (Array.isArray(solveForScopes)) {
|
240
|
-
this._solveForScopes = solveForScopes;
|
241
|
-
}
|
242
|
-
else if (solveForScopes !== undefined) {
|
243
|
-
this._solveForScopes = [solveForScopes];
|
244
|
-
}
|
245
|
-
else {
|
246
|
-
this._solveForScopes = undefined;
|
247
|
-
}
|
248
|
-
this._signatureContexts = [new TypeVarSignatureContext()];
|
249
|
-
}
|
250
|
-
clone() {
|
251
|
-
const newTypeVarMap = new TypeVarContext();
|
252
|
-
if (this._solveForScopes) {
|
253
|
-
newTypeVarMap._solveForScopes = Array.from(this._solveForScopes);
|
254
|
-
}
|
255
|
-
newTypeVarMap._signatureContexts = this._signatureContexts.map((context) => context.clone());
|
256
|
-
newTypeVarMap._isLocked = this._isLocked;
|
257
|
-
return newTypeVarMap;
|
258
|
-
}
|
259
|
-
cloneWithSignatureSource(typeVarScopeId) {
|
260
|
-
const clonedContext = this.clone();
|
261
|
-
if (typeVarScopeId) {
|
262
|
-
const filteredSignatures = this._signatureContexts.filter((context) => context.hasSourceTypeVarScopeId(typeVarScopeId));
|
263
|
-
if (filteredSignatures.length > 0) {
|
264
|
-
clonedContext._signatureContexts = filteredSignatures;
|
265
|
-
}
|
266
|
-
else {
|
267
|
-
clonedContext._signatureContexts.forEach((context) => {
|
268
|
-
context.addSourceTypeVarScopeId(typeVarScopeId);
|
269
|
-
});
|
270
|
-
}
|
271
|
-
}
|
272
|
-
return clonedContext;
|
273
|
-
}
|
274
|
-
// Copies a cloned type var context back into this object.
|
275
|
-
copyFromClone(clone) {
|
276
|
-
this._signatureContexts = clone._signatureContexts.map((context) => context.clone());
|
277
|
-
this._isLocked = clone._isLocked;
|
278
|
-
}
|
279
|
-
// Copy the specified signature contexts into this type var context.
|
280
|
-
copySignatureContexts(contexts) {
|
281
|
-
(0, debug_1.assert)(contexts.length > 0);
|
282
|
-
// Limit the number of signature contexts. There are rare circumstances
|
283
|
-
// where this can grow to unbounded numbers and exhaust memory.
|
284
|
-
if (contexts.length < maxSignatureContextCount) {
|
285
|
-
this._signatureContexts = Array.from(contexts);
|
286
|
-
}
|
287
|
-
}
|
288
|
-
isSame(other) {
|
289
|
-
if (other._signatureContexts.length !== this._signatureContexts.length) {
|
290
|
-
return false;
|
291
|
-
}
|
292
|
-
return this._signatureContexts.every((context, index) => context.isSame(other._signatureContexts[index]));
|
293
|
-
}
|
294
|
-
getId() {
|
295
|
-
return this._id;
|
296
|
-
}
|
297
|
-
// Returns the list of scopes this type var map is "solving".
|
298
|
-
getSolveForScopes() {
|
299
|
-
return this._solveForScopes;
|
300
|
-
}
|
301
|
-
hasSolveForScope(scopeId) {
|
302
|
-
if (Array.isArray(scopeId)) {
|
303
|
-
return scopeId.some((s) => this.hasSolveForScope(s));
|
304
|
-
}
|
305
|
-
if (scopeId === types_1.InScopePlaceholderScopeId) {
|
306
|
-
return true;
|
307
|
-
}
|
308
|
-
return (scopeId !== undefined &&
|
309
|
-
this._solveForScopes !== undefined &&
|
310
|
-
this._solveForScopes.some((s) => s === scopeId));
|
311
|
-
}
|
312
|
-
setSolveForScopes(scopeIds) {
|
313
|
-
scopeIds.forEach((scopeId) => {
|
314
|
-
this.addSolveForScope(scopeId);
|
315
|
-
});
|
316
|
-
}
|
317
|
-
addSolveForScope(scopeId) {
|
318
|
-
if (Array.isArray(scopeId)) {
|
319
|
-
scopeId.forEach((s) => this.addSolveForScope(s));
|
320
|
-
return;
|
321
|
-
}
|
322
|
-
if (scopeId !== undefined && !this.hasSolveForScope(scopeId)) {
|
323
|
-
if (!this._solveForScopes) {
|
324
|
-
this._solveForScopes = [];
|
325
|
-
}
|
326
|
-
this._solveForScopes.push(scopeId);
|
327
|
-
}
|
328
|
-
}
|
329
|
-
lock() {
|
330
|
-
// Locks the type var map, preventing any further changes.
|
331
|
-
(0, debug_1.assert)(!this._isLocked);
|
332
|
-
this._isLocked = true;
|
333
|
-
}
|
334
|
-
unlock() {
|
335
|
-
// Unlocks the type var map, allowing further changes.
|
336
|
-
this._isLocked = false;
|
337
|
-
}
|
338
|
-
isLocked() {
|
339
|
-
return this._isLocked;
|
340
|
-
}
|
341
|
-
isEmpty() {
|
342
|
-
return this._signatureContexts.every((context) => context.isEmpty());
|
343
|
-
}
|
344
|
-
setTypeVarType(reference, narrowBound, narrowBoundNoLiterals, wideBound, tupleTypes) {
|
345
|
-
(0, debug_1.assert)(!this._isLocked);
|
346
|
-
return this._signatureContexts.forEach((context) => {
|
347
|
-
context.setTypeVarType(reference, narrowBound, narrowBoundNoLiterals, wideBound, tupleTypes);
|
348
|
-
});
|
349
|
-
}
|
350
|
-
setTupleTypeVar(reference, tupleTypes) {
|
351
|
-
(0, debug_1.assert)(!this._isLocked);
|
352
|
-
return this._signatureContexts.forEach((context) => {
|
353
|
-
context.setTupleTypeVar(reference, tupleTypes);
|
354
|
-
});
|
355
|
-
}
|
356
|
-
getScore() {
|
357
|
-
let total = 0;
|
358
|
-
this._signatureContexts.forEach((context) => {
|
359
|
-
total += context.getScore();
|
360
|
-
});
|
361
|
-
// Return the average score among all signature contexts.
|
362
|
-
return total / this._signatureContexts.length;
|
363
|
-
}
|
364
|
-
getPrimarySignature() {
|
365
|
-
return this._signatureContexts[0];
|
366
|
-
}
|
367
|
-
getSignatureContexts() {
|
368
|
-
return this._signatureContexts;
|
369
|
-
}
|
370
|
-
doForEachSignatureContext(callback) {
|
371
|
-
const wasLocked = this.isLocked();
|
372
|
-
this.unlock();
|
373
|
-
this.getSignatureContexts().forEach((signature, signatureIndex) => {
|
374
|
-
callback(signature, signatureIndex);
|
375
|
-
});
|
376
|
-
if (wasLocked) {
|
377
|
-
this.lock();
|
378
|
-
}
|
379
|
-
}
|
380
|
-
getSignatureContext(index) {
|
381
|
-
(0, debug_1.assert)(index >= 0 && index < this._signatureContexts.length);
|
382
|
-
return this._signatureContexts[index];
|
383
|
-
}
|
384
|
-
doForEachSignature(callback) {
|
385
|
-
this._signatureContexts.forEach((context) => {
|
386
|
-
callback(context);
|
387
|
-
});
|
388
|
-
}
|
389
|
-
}
|
390
|
-
exports.TypeVarContext = TypeVarContext;
|
391
|
-
TypeVarContext.nextTypeVarContextId = 1;
|
392
|
-
//# sourceMappingURL=typeVarContext.js.map
|
@@ -1 +0,0 @@
|
|
1
|
-
{"version":3,"file":"typeVarContext.js","sourceRoot":"","sources":["../../../../../src/analyzer/typeVarContext.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAEH,2CAAyC;AACzC,2CAAyD;AACzD,mCAciB;AAEjB,kEAAkE;AAClE,iEAAiE;AACjE,gEAAgE;AAChE,oEAAoE;AACpE,oEAAoE;AACpE,oEAAoE;AACpE,mEAAmE;AACnE,yCAAyC;AACzC,MAAM,wBAAwB,GAAG,IAAI,CAAC;AAiBtC,MAAa,uBAAuB;IAIhC;QACI,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC1D,CAAC;IAED,KAAK;QACD,MAAM,UAAU,GAAG,IAAI,uBAAuB,EAAE,CAAC;QAEjD,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/B,UAAU,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,qBAAqB,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;YAE1G,IAAI,KAAK,CAAC,UAAU,EAAE;gBAClB,UAAU,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;aAC/D;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,IAAI,CAAC,qBAAqB,EAAE;YAC5B,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC;SAChG;QAED,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,MAAM,CAAC,KAA8B;QACjC,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE;YAClD,OAAO,KAAK,CAAC;SAChB;QAED,SAAS,UAAU,CAAC,KAAuB,EAAE,KAAuB;YAChE,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE;gBAClB,OAAO,KAAK,KAAK,KAAK,CAAC;aAC1B;YAED,OAAO,IAAA,kBAAU,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACpC,CAAC;QAED,IAAI,MAAM,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;YACpC,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC9C,IACI,CAAC,UAAU;gBACX,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,UAAU,CAAC,WAAW,CAAC;gBACtD,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,SAAS,CAAC,EACpD;gBACE,MAAM,GAAG,KAAK,CAAC;aAClB;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,OAAO;QACH,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,CAAC;IACvC,CAAC;IAED,gEAAgE;IAChE,uDAAuD;IACvD,QAAQ;QACJ,IAAI,KAAK,GAAG,CAAC,CAAC;QAEd,4CAA4C;QAC5C,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/B,qDAAqD;YACrD,KAAK,IAAI,CAAC,CAAC;YAEX,qEAAqE;YACrE,kEAAkE;YAClE,iDAAiD;YACjD,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,CAAE,CAAC;YACxD,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC,0BAA0B,CAAC,WAAW,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;QAEH,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,cAAc,CAAC,SAAsB,EAAE,kBAAkB,GAAG,KAAK;;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,EAAE;YACR,OAAO,SAAS,CAAC;SACpB;QAED,IAAI,kBAAkB,EAAE;YACpB,OAAO,KAAK,CAAC,WAAW,CAAC;SAC5B;QAED,mEAAmE;QACnE,qEAAqE;QACrE,qBAAqB;QACrB,OAAO,MAAA,MAAA,KAAK,CAAC,qBAAqB,mCAAI,KAAK,CAAC,WAAW,mCAAI,KAAK,CAAC,SAAS,CAAC;IAC/E,CAAC;IAED,gBAAgB,CAAC,SAAsB;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,CAAA,KAAK,aAAL,KAAK,uBAAL,KAAK,CAAE,WAAW,CAAA,EAAE;YACrB,OAAO,SAAS,CAAC;SACpB;QAED,IAAI,IAAA,kBAAU,EAAC,KAAK,CAAC,WAAW,CAAC,EAAE;YAC/B,OAAO,KAAK,CAAC,WAAW,CAAC;SAC5B;QAED,IAAI,IAAA,sBAAc,EAAC,KAAK,CAAC,WAAW,CAAC,EAAE;YACnC,OAAO,IAAA,sCAA0B,GAAE,CAAC;SACvC;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,cAAc,CACV,SAAsB,EACtB,WAA6B,EAC7B,qBAA4B,EAC5B,SAAgB,EAChB,UAAgC;QAEhC,MAAM,GAAG,GAAG,mBAAW,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE;YACtB,OAAO,EAAE,SAAS;YAClB,WAAW;YACX,qBAAqB;YACrB,SAAS;YACT,UAAU;SACb,CAAC,CAAC;IACP,CAAC;IAED,eAAe,CAAC,SAAsB;;QAClC,OAAO,MAAA,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,0CAAE,UAAU,CAAC;IAClD,CAAC;IAED,eAAe,CAAC,SAAsB,EAAE,KAA0B;QAC9D,qEAAqE;QACrE,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACzC,IAAA,cAAM,EAAC,KAAK,CAAC,CAAC;QAEd,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC;IAC7B,CAAC;IAED,UAAU,CAAC,SAAsB;QAC7B,MAAM,GAAG,GAAG,mBAAW,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC;IAED,WAAW;QACP,MAAM,OAAO,GAAsB,EAAE,CAAC;QAEtC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC/B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;QAEH,OAAO,OAAO,CAAC;IACnB,CAAC;IAED,eAAe;QACX,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;IACjC,CAAC;IAED,gBAAgB,CAAC,SAAsB;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,KAAK,EAAE;YACP,OAAO,KAAK,CAAC,SAAS,CAAC;SAC1B;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,uBAAuB,CAAC,OAAuB;QAC3C,IAAI,CAAC,IAAI,CAAC,qBAAqB,EAAE;YAC7B,IAAI,CAAC,qBAAqB,GAAG,IAAI,GAAG,EAAU,CAAC;SAClD;QAED,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC;IAED,uBAAuB,CAAC,OAAuB;QAC3C,IAAI,CAAC,IAAI,CAAC,qBAAqB,EAAE;YAC7B,OAAO,KAAK,CAAC;SAChB;QAED,OAAO,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC;IAED,qEAAqE;IACrE,kEAAkE;IAClE,mEAAmE;IACnE,uCAAuC;IAC/B,0BAA0B,CAAC,IAAU,EAAE,cAAc,GAAG,CAAC;QAC7D,IAAI,cAAc,GAAG,6BAAqB,EAAE;YACxC,OAAO,CAAC,CAAC;SACZ;QACD,cAAc,EAAE,CAAC;QAEjB,QAAQ,IAAI,CAAC,QAAQ,EAAE;YACnB,kCAA0B;YAC1B,8BAAsB;YACtB,iCAAyB,CAAC,CAAC;gBACvB,OAAO,GAAG,CAAC;aACd;YAED,mCAA2B;YAC3B,4CAAoC,CAAC,CAAC;gBAClC,yDAAyD;gBACzD,iDAAiD;gBACjD,OAAO,GAAG,CAAC;aACd;YAED,kCAA0B;YAC1B;gBACI,OAAO,GAAG,CAAC;YAEf,+BAAuB,CAAC,CAAC;gBACrB,IAAI,QAAQ,GAAG,CAAC,CAAC;gBAEjB,kEAAkE;gBAClE,wDAAwD;gBACxD,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,EAAE,EAAE;oBAChC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;wBACnC,MAAM,YAAY,GAAG,IAAI,CAAC,0BAA0B,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;wBAC9E,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;oBAChD,CAAC,CAAC,CAAC;iBACN;qBAAM;oBACH,QAAQ,GAAG,GAAG,CAAC;iBAClB;gBAED,OAAO,QAAQ,CAAC;aACnB;YAED,+BAAuB,CAAC,CAAC;gBACrB,OAAO,IAAI,CAAC,2BAA2B,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;aACjE;SACJ;QAED,4CAA4C;QAC5C,OAAO,CAAC,CAAC;IACb,CAAC;IAEO,2BAA2B,CAAC,SAAoB,EAAE,cAAsB;QAC5E,IAAI,eAAe,GAAG,CAAC,CAAC;QACxB,IAAI,YAAY,GAAG,CAAC,CAAC;QAErB,IAAI,SAAS,CAAC,IAAI,CAAC,kBAAkB,EAAE;YACnC,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;gBAClD,eAAe,IAAI,IAAI,CAAC,0BAA0B,CAAC,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;gBACjF,YAAY,EAAE,CAAC;YACnB,CAAC,CAAC,CAAC;SACN;aAAM,IAAI,SAAS,CAAC,IAAI,CAAC,aAAa,EAAE;YACrC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC1C,eAAe,IAAI,IAAI,CAAC,0BAA0B,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;gBACzE,YAAY,EAAE,CAAC;YACnB,CAAC,CAAC,CAAC;SACN;aAAM,IAAI,SAAS,CAAC,MAAM,CAAC,cAAc,EAAE;YACxC,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC7C,eAAe,IAAI,IAAI,CAAC,0BAA0B,CAAC,eAAO,CAAC,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC;gBACrF,YAAY,EAAE,CAAC;YACnB,CAAC,CAAC,CAAC;SACN;QAED,MAAM,wBAAwB,GAAG,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,OAAO,GAAG,GAAG,wBAAwB,GAAG,IAAI,CAAC;IACjD,CAAC;CACJ;AAtQD,0DAsQC;AAED,MAAa,cAAc;IAOvB,YAAY,cAAkD;QAHtD,cAAS,GAAG,KAAK,CAAC;QAItB,IAAI,CAAC,GAAG,GAAG,cAAc,CAAC,oBAAoB,EAAE,CAAC;QAEjD,IAAI,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE;YAC/B,IAAI,CAAC,eAAe,GAAG,cAAc,CAAC;SACzC;aAAM,IAAI,cAAc,KAAK,SAAS,EAAE;YACrC,IAAI,CAAC,eAAe,GAAG,CAAC,cAAc,CAAC,CAAC;SAC3C;aAAM;YACH,IAAI,CAAC,eAAe,GAAG,SAAS,CAAC;SACpC;QAED,IAAI,CAAC,kBAAkB,GAAG,CAAC,IAAI,uBAAuB,EAAE,CAAC,CAAC;IAC9D,CAAC;IAED,KAAK;QACD,MAAM,aAAa,GAAG,IAAI,cAAc,EAAE,CAAC;QAC3C,IAAI,IAAI,CAAC,eAAe,EAAE;YACtB,aAAa,CAAC,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;SACpE;QAED,aAAa,CAAC,kBAAkB,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QAC7F,aAAa,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAEzC,OAAO,aAAa,CAAC;IACzB,CAAC;IAED,wBAAwB,CAAC,cAA8B;QACnD,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAEnC,IAAI,cAAc,EAAE;YAChB,MAAM,kBAAkB,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAClE,OAAO,CAAC,uBAAuB,CAAC,cAAc,CAAC,CAClD,CAAC;YAEF,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE;gBAC/B,aAAa,CAAC,kBAAkB,GAAG,kBAAkB,CAAC;aACzD;iBAAM;gBACH,aAAa,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;oBACjD,OAAO,CAAC,uBAAuB,CAAC,cAAc,CAAC,CAAC;gBACpD,CAAC,CAAC,CAAC;aACN;SACJ;QAED,OAAO,aAAa,CAAC;IACzB,CAAC;IAED,0DAA0D;IAC1D,aAAa,CAAC,KAAqB;QAC/B,IAAI,CAAC,kBAAkB,GAAG,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QACrF,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IACrC,CAAC;IAED,oEAAoE;IACpE,qBAAqB,CAAC,QAAmC;QACrD,IAAA,cAAM,EAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAE5B,uEAAuE;QACvE,+DAA+D;QAC/D,IAAI,QAAQ,CAAC,MAAM,GAAG,wBAAwB,EAAE;YAC5C,IAAI,CAAC,kBAAkB,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;SAClD;IACL,CAAC;IAED,MAAM,CAAC,KAAqB;QACxB,IAAI,KAAK,CAAC,kBAAkB,CAAC,MAAM,KAAK,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE;YACpE,OAAO,KAAK,CAAC;SAChB;QAED,OAAO,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9G,CAAC;IAED,KAAK;QACD,OAAO,IAAI,CAAC,GAAG,CAAC;IACpB,CAAC;IAED,6DAA6D;IAC7D,iBAAiB;QACb,OAAO,IAAI,CAAC,eAAe,CAAC;IAChC,CAAC;IAED,gBAAgB,CAAC,OAAsD;QACnE,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;YACxB,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;SACxD;QAED,IAAI,OAAO,KAAK,iCAAyB,EAAE;YACvC,OAAO,IAAI,CAAC;SACf;QAED,OAAO,CACH,OAAO,KAAK,SAAS;YACrB,IAAI,CAAC,eAAe,KAAK,SAAS;YAClC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,CAClD,CAAC;IACN,CAAC;IAED,iBAAiB,CAAC,QAA0B;QACxC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YACzB,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACP,CAAC;IAED,gBAAgB,CAAC,OAA2C;QACxD,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;YACxB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;YACjD,OAAO;SACV;QAED,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE;YAC1D,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE;gBACvB,IAAI,CAAC,eAAe,GAAG,EAAE,CAAC;aAC7B;YACD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;SACtC;IACL,CAAC;IAED,IAAI;QACA,0DAA0D;QAC1D,IAAA,cAAM,EAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxB,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED,MAAM;QACF,sDAAsD;QACtD,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC;IAC3B,CAAC;IAED,QAAQ;QACJ,OAAO,IAAI,CAAC,SAAS,CAAC;IAC1B,CAAC;IAED,OAAO;QACH,OAAO,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IACzE,CAAC;IAED,cAAc,CACV,SAAsB,EACtB,WAA6B,EAC7B,qBAA4B,EAC5B,SAAgB,EAChB,UAAgC;QAEhC,IAAA,cAAM,EAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAExB,OAAO,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YAC/C,OAAO,CAAC,cAAc,CAAC,SAAS,EAAE,WAAW,EAAE,qBAAqB,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;QACjG,CAAC,CAAC,CAAC;IACP,CAAC;IAED,eAAe,CAAC,SAAsB,EAAE,UAA+B;QACnE,IAAA,cAAM,EAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAExB,OAAO,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YAC/C,OAAO,CAAC,eAAe,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACP,CAAC;IAED,QAAQ;QACJ,IAAI,KAAK,GAAG,CAAC,CAAC;QAEd,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YACxC,KAAK,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,yDAAyD;QACzD,OAAO,KAAK,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC;IAClD,CAAC;IAED,mBAAmB;QACf,OAAO,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,oBAAoB;QAChB,OAAO,IAAI,CAAC,kBAAkB,CAAC;IACnC,CAAC;IAED,yBAAyB,CAAC,QAA8E;QACpG,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,IAAI,CAAC,MAAM,EAAE,CAAC;QAEd,IAAI,CAAC,oBAAoB,EAAE,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,cAAc,EAAE,EAAE;YAC9D,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,IAAI,SAAS,EAAE;YACX,IAAI,CAAC,IAAI,EAAE,CAAC;SACf;IACL,CAAC;IAED,mBAAmB,CAAC,KAAa;QAC7B,IAAA,cAAM,EAAC,KAAK,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;QAC7D,OAAO,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC;IAED,kBAAkB,CAAC,QAAoD;QACnE,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YACxC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACtB,CAAC,CAAC,CAAC;IACP,CAAC;;AA7ML,wCA8MC;AA7MU,mCAAoB,GAAG,CAAC,AAAJ,CAAK"}
|