@zzzen/pyright-internal 1.2.0-dev.20240922 → 1.2.0-dev.20241006
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/binder.d.ts +1 -0
- package/dist/analyzer/binder.js +19 -0
- package/dist/analyzer/binder.js.map +1 -1
- package/dist/analyzer/checker.d.ts +0 -1
- package/dist/analyzer/checker.js +75 -89
- package/dist/analyzer/checker.js.map +1 -1
- package/dist/analyzer/codeFlowEngine.js +1 -1
- package/dist/analyzer/codeFlowEngine.js.map +1 -1
- package/dist/analyzer/commentUtils.js +2 -2
- package/dist/analyzer/commentUtils.js.map +1 -1
- package/dist/analyzer/constraintSolver.js +6 -15
- package/dist/analyzer/constraintSolver.js.map +1 -1
- package/dist/analyzer/constraintTracker.d.ts +0 -1
- package/dist/analyzer/constraintTracker.js +0 -6
- package/dist/analyzer/constraintTracker.js.map +1 -1
- package/dist/analyzer/constructors.js +14 -6
- package/dist/analyzer/constructors.js.map +1 -1
- package/dist/analyzer/dataClasses.js +3 -3
- package/dist/analyzer/dataClasses.js.map +1 -1
- package/dist/analyzer/importResolver.js +1 -1
- package/dist/analyzer/importResolver.js.map +1 -1
- package/dist/analyzer/operations.js +42 -28
- package/dist/analyzer/operations.js.map +1 -1
- package/dist/analyzer/packageTypeVerifier.js +4 -4
- package/dist/analyzer/packageTypeVerifier.js.map +1 -1
- package/dist/analyzer/patternMatching.js +19 -5
- package/dist/analyzer/patternMatching.js.map +1 -1
- package/dist/analyzer/protocols.js +9 -20
- package/dist/analyzer/protocols.js.map +1 -1
- package/dist/analyzer/service.js +24 -10
- package/dist/analyzer/service.js.map +1 -1
- package/dist/analyzer/sourceMapper.js +5 -3
- package/dist/analyzer/sourceMapper.js.map +1 -1
- package/dist/analyzer/symbol.d.ts +3 -0
- package/dist/analyzer/symbol.js +6 -0
- package/dist/analyzer/symbol.js.map +1 -1
- package/dist/analyzer/tracePrinter.js +5 -5
- package/dist/analyzer/tracePrinter.js.map +1 -1
- package/dist/analyzer/tuples.d.ts +8 -3
- package/dist/analyzer/tuples.js +155 -0
- package/dist/analyzer/tuples.js.map +1 -1
- package/dist/analyzer/typeEvaluator.js +351 -403
- package/dist/analyzer/typeEvaluator.js.map +1 -1
- package/dist/analyzer/typeEvaluatorTypes.d.ts +9 -14
- package/dist/analyzer/typeEvaluatorTypes.js +7 -1
- package/dist/analyzer/typeEvaluatorTypes.js.map +1 -1
- package/dist/analyzer/typeGuards.js +7 -1
- package/dist/analyzer/typeGuards.js.map +1 -1
- package/dist/analyzer/typePrinter.d.ts +2 -1
- package/dist/analyzer/typePrinter.js +28 -22
- package/dist/analyzer/typePrinter.js.map +1 -1
- package/dist/analyzer/typeStubWriter.js +1 -1
- package/dist/analyzer/typeStubWriter.js.map +1 -1
- package/dist/analyzer/typeUtils.d.ts +11 -3
- package/dist/analyzer/typeUtils.js +20 -16
- package/dist/analyzer/typeUtils.js.map +1 -1
- package/dist/analyzer/types.d.ts +8 -4
- package/dist/analyzer/types.js +20 -14
- package/dist/analyzer/types.js.map +1 -1
- package/dist/common/collectionUtils.d.ts +2 -0
- package/dist/common/collectionUtils.js +15 -0
- package/dist/common/collectionUtils.js.map +1 -1
- package/dist/common/configOptions.d.ts +3 -1
- package/dist/common/configOptions.js +17 -4
- package/dist/common/configOptions.js.map +1 -1
- package/dist/common/fileSystem.d.ts +8 -1
- package/dist/common/fileSystem.js +10 -1
- package/dist/common/fileSystem.js.map +1 -1
- package/dist/common/memUtils.js +3 -0
- package/dist/common/memUtils.js.map +1 -1
- package/dist/common/pathUtils.d.ts +3 -3
- package/dist/common/realFileSystem.js +2 -0
- package/dist/common/realFileSystem.js.map +1 -1
- package/dist/languageService/autoImporter.d.ts +9 -7
- package/dist/languageService/autoImporter.js +32 -34
- package/dist/languageService/autoImporter.js.map +1 -1
- package/dist/languageService/completionProvider.js +1 -1
- package/dist/languageService/completionProvider.js.map +1 -1
- package/dist/languageService/completionProviderUtils.js +1 -1
- package/dist/languageService/completionProviderUtils.js.map +1 -1
- package/dist/languageService/hoverProvider.js +3 -2
- package/dist/languageService/hoverProvider.js.map +1 -1
- package/dist/languageService/symbolIndexer.d.ts +8 -1
- package/dist/languageService/symbolIndexer.js +17 -2
- package/dist/languageService/symbolIndexer.js.map +1 -1
- package/dist/localization/localize.d.ts +1 -0
- package/dist/localization/localize.js +1 -0
- package/dist/localization/localize.js.map +1 -1
- package/dist/localization/package.nls.cs.json +2 -2
- package/dist/localization/package.nls.de.json +2 -2
- package/dist/localization/package.nls.en-us.json +4 -0
- package/dist/localization/package.nls.es.json +2 -2
- package/dist/localization/package.nls.fr.json +2 -2
- package/dist/localization/package.nls.it.json +2 -2
- package/dist/localization/package.nls.ja.json +2 -2
- package/dist/localization/package.nls.ko.json +2 -2
- package/dist/localization/package.nls.pl.json +2 -2
- package/dist/localization/package.nls.pt-br.json +2 -2
- package/dist/localization/package.nls.ru.json +2 -2
- package/dist/localization/package.nls.tr.json +2 -2
- package/dist/localization/package.nls.zh-cn.json +7 -7
- package/dist/localization/package.nls.zh-tw.json +7 -7
- package/dist/readonlyAugmentedFileSystem.js +2 -1
- package/dist/readonlyAugmentedFileSystem.js.map +1 -1
- package/dist/tests/harness/fourslash/testLanguageService.d.ts +0 -1
- package/dist/tests/harness/fourslash/testLanguageService.js +0 -3
- package/dist/tests/harness/fourslash/testLanguageService.js.map +1 -1
- package/dist/tests/harness/fourslash/testState.d.ts +1 -2
- package/dist/tests/harness/fourslash/testState.js +0 -7
- package/dist/tests/harness/fourslash/testState.js.map +1 -1
- package/dist/tests/harness/vfs/filesystem.js +8 -3
- package/dist/tests/harness/vfs/filesystem.js.map +1 -1
- package/dist/tests/sourceMapperUtils.test.js +2 -2
- package/dist/tests/sourceMapperUtils.test.js.map +1 -1
- package/dist/tests/typeEvaluator3.test.js +7 -1
- package/dist/tests/typeEvaluator3.test.js.map +1 -1
- package/dist/tests/typeEvaluator4.test.js +5 -1
- package/dist/tests/typeEvaluator4.test.js.map +1 -1
- package/dist/tests/typeEvaluator5.test.js +3 -3
- package/dist/tests/typeEvaluator5.test.js.map +1 -1
- package/dist/tests/typeEvaluator6.test.js +12 -2
- package/dist/tests/typeEvaluator6.test.js.map +1 -1
- package/dist/tests/typeEvaluator7.test.js +0 -6
- package/dist/tests/typeEvaluator7.test.js.map +1 -1
- package/dist/tests/typeEvaluator8.test.js +7 -1
- package/dist/tests/typeEvaluator8.test.js.map +1 -1
- package/package.json +8 -8
@@ -1 +1 @@
|
|
1
|
-
{"version":3,"file":"symbol.js","sourceRoot":"","sources":["../../../../../src/analyzer/symbol.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAGH,yDAAgF;AAGhF,IAAkB,WAoDjB;AApDD,WAAkB,WAAW;IACzB,6CAAQ,CAAA;IAER,uDAAuD;IACvD,wDAAwD;IACxD,4DAA4D;IAC5D,6BAA6B;IAC7B,qEAAyB,CAAA;IAEzB,6DAA6D;IAC7D,iCAAiC;IACjC,qEAAyB,CAAA;IAEzB,0DAA0D;IAC1D,2DAAoB,CAAA;IAEpB,8DAA8D;IAC9D,iEAAuB,CAAA;IAEvB,2DAA2D;IAC3D,oEAAoE;IACpE,gEAAsB,CAAA;IAEtB,2DAA2D;IAC3D,kEAAkE;IAClE,oFAAgC,CAAA;IAEhC,2DAA2D;IAC3D,8CAA8C;IAC9C,uDAAiB,CAAA;IAEjB,2CAA2C;IAC3C,6DAAoB,CAAA;IAEpB,sEAAsE;IACtE,+EAA6B,CAAA;IAE7B,mEAAmE;IACnE,sDAAiB,CAAA;IAEjB,oEAAoE;IACpE,kEAAkE;IAClE,gBAAgB;IAChB,wEAA0B,CAAA;IAE1B,wEAAwE;IACxE,wFAAkC,CAAA;IAElC,oEAAoE;IACpE,oEAAoE;IACpE,6DAA6D;IAC7D,8EAA6B,CAAA;AACjC,CAAC,EApDiB,WAAW,2BAAX,WAAW,QAoD5B;AAED,IAAI,YAAY,GAAG,CAAC,CAAC;AACrB,SAAS,iBAAiB;IACtB,OAAO,YAAY,EAAE,CAAC;AAC1B,CAAC;AAED,6DAA6D;AAChD,QAAA,qBAAqB,GAAG,CAAC,CAAC;AAEvC,MAAa,MAAM;
|
1
|
+
{"version":3,"file":"symbol.js","sourceRoot":"","sources":["../../../../../src/analyzer/symbol.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAGH,yDAAgF;AAGhF,IAAkB,WAoDjB;AApDD,WAAkB,WAAW;IACzB,6CAAQ,CAAA;IAER,uDAAuD;IACvD,wDAAwD;IACxD,4DAA4D;IAC5D,6BAA6B;IAC7B,qEAAyB,CAAA;IAEzB,6DAA6D;IAC7D,iCAAiC;IACjC,qEAAyB,CAAA;IAEzB,0DAA0D;IAC1D,2DAAoB,CAAA;IAEpB,8DAA8D;IAC9D,iEAAuB,CAAA;IAEvB,2DAA2D;IAC3D,oEAAoE;IACpE,gEAAsB,CAAA;IAEtB,2DAA2D;IAC3D,kEAAkE;IAClE,oFAAgC,CAAA;IAEhC,2DAA2D;IAC3D,8CAA8C;IAC9C,uDAAiB,CAAA;IAEjB,2CAA2C;IAC3C,6DAAoB,CAAA;IAEpB,sEAAsE;IACtE,+EAA6B,CAAA;IAE7B,mEAAmE;IACnE,sDAAiB,CAAA;IAEjB,oEAAoE;IACpE,kEAAkE;IAClE,gBAAgB;IAChB,wEAA0B,CAAA;IAE1B,wEAAwE;IACxE,wFAAkC,CAAA;IAElC,oEAAoE;IACpE,oEAAoE;IACpE,6DAA6D;IAC7D,8EAA6B,CAAA;AACjC,CAAC,EApDiB,WAAW,2BAAX,WAAW,QAoD5B;AAED,IAAI,YAAY,GAAG,CAAC,CAAC;AACrB,SAAS,iBAAiB;IACtB,OAAO,YAAY,EAAE,CAAC;AAC1B,CAAC;AAED,6DAA6D;AAChD,QAAA,qBAAqB,GAAG,CAAC,CAAC;AAEvC,MAAa,MAAM;IAsBf,YAAY,KAAkB;QAC1B,IAAI,CAAC,EAAE,GAAG,iBAAiB,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IACxB,CAAC;IAED,MAAM,CAAC,cAAc,CAAC,KAAkB,EAAE,IAAU;QAChD,MAAM,SAAS,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;QACpC,SAAS,CAAC,gBAAgB,GAAG,IAAI,CAAC;QAClC,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,kBAAkB;QACd,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,uCAA+B,CAAC,CAAC;IAC1D,CAAC;IAED,qBAAqB;QACjB,IAAI,CAAC,MAAM,wCAAgC,CAAC;IAChD,CAAC;IAED,kBAAkB;QACd,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,uCAA+B,CAAC,CAAC;IAC1D,CAAC;IAED,4BAA4B;QACxB,IAAI,CAAC,MAAM,gDAAuC,CAAC;IACvD,CAAC;IAED,yBAAyB;QACrB,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,+CAAsC,CAAC,CAAC;IACjE,CAAC;IAED,gBAAgB;QACZ,IAAI,CAAC,MAAM,mCAA2B,CAAC;IAC3C,CAAC;IAED,aAAa;QACT,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,kCAA0B,CAAC,CAAC;IACrD,CAAC;IAED,mBAAmB;QACf,IAAI,CAAC,MAAM,sCAA8B,CAAC;IAC9C,CAAC;IAED,gBAAgB;QACZ,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,qCAA6B,CAAC,CAAC;IACxD,CAAC;IAED,aAAa;QACT,IAAI,CAAC,MAAM,kCAAwB,CAAC;IACxC,CAAC;IAED,UAAU;QACN,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,iCAAuB,CAAC,CAAC;IAClD,CAAC;IAED,wBAAwB;QACpB,IAAI,CAAC,MAAM,8CAAmC,CAAC;IACnD,CAAC;IAED,qBAAqB;QACjB,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,6CAAkC,CAAC,CAAC;IAC7D,CAAC;IAED,YAAY;QACR,IAAI,CAAC,MAAM,kCAAuB,CAAC;IACvC,CAAC;IAED,SAAS;QACL,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,iCAAsB,CAAC,CAAC;IACjD,CAAC;IAED,gBAAgB;QACZ,IAAI,CAAC,MAAM,qCAA2B,CAAC;IAC3C,CAAC;IAED,aAAa;QACT,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,oCAA0B,CAAC,CAAC;IACrD,CAAC;IAED,kBAAkB;QACd,IAAI,CAAC,MAAM,sCAA6B,CAAC;IAC7C,CAAC;IAED,eAAe;QACX,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,qCAA4B,CAAC,CAAC;IACvD,CAAC;IAED,uBAAuB;QACnB,IAAI,CAAC,MAAM,8CAAoC,CAAC;IACpD,CAAC;IAED,sBAAsB;QAClB,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,6CAAmC,CAAC,CAAC;IAC9D,CAAC;IAED,wBAAwB;QACpB,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,0CAA+B,CAAC,CAAC;IAC1D,CAAC;IAED,0BAA0B;QACtB,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,kDAAuC,CAAC,CAAC;IAClE,CAAC;IAED,oBAAoB,CAAC,WAAmB;QACpC,IAAI,CAAC,kBAAkB,GAAG,WAAW,CAAC;IAC1C,CAAC;IAED,oBAAoB;QAChB,OAAO,IAAI,CAAC,kBAAkB,CAAC;IACnC,CAAC;IAED,cAAc,CAAC,WAAwB;QACnC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACrB,mEAAmE;YACnE,mEAAmE;YACnE,YAAY;YACZ,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAA,sCAAmB,EAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;YACjG,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;gBAChB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAErC,8DAA8D;gBAC9D,iCAAiC;gBACjC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;oBAChC,IAAI,IAAI,CAAC,IAAI,qCAA6B,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;wBAC/D,OAAO,IAAI,CAAC,aAAa,CAAC;oBAC9B,CAAC;gBACL,CAAC,CAAC,CAAC;YACP,CAAC;iBAAM,CAAC;gBACJ,+DAA+D;gBAC/D,oBAAoB;gBACpB,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;gBAC9C,IAAI,IAAA,wCAAqB,EAAC,WAAW,CAAC,EAAE,CAAC;oBACrC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,GAAG,WAAW,CAAC;oBAC5C,IAAI,OAAO,CAAC,IAAI,qCAA6B,IAAI,WAAW,CAAC,IAAI,qCAA6B,EAAE,CAAC;wBAC7F,IAAI,CAAC,WAAW,CAAC,kBAAkB,IAAI,OAAO,CAAC,kBAAkB,EAAE,CAAC;4BAChE,WAAW,CAAC,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC;wBAChE,CAAC;oBACL,CAAC;gBACL,CAAC;qBAAM,IAAI,WAAW,CAAC,IAAI,qCAA6B,EAAE,CAAC;oBACvD,mEAAmE;oBACnE,qEAAqE;oBACrE,sCAAsC;oBACtC,IAAI,OAAO,CAAC,IAAI,qCAA6B,EAAE,CAAC;wBAC5C,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;4BACtB,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;wBAC3B,CAAC;wBAED,OAAO,CAAC,aAAa,GAAG,WAAW,CAAC,aAAa,CAAC;wBAElD,IAAI,CAAC,OAAO,CAAC,kBAAkB,IAAI,WAAW,CAAC,kBAAkB,EAAE,CAAC;4BAChE,OAAO,CAAC,kBAAkB,GAAG,WAAW,CAAC,kBAAkB,CAAC;wBAChE,CAAC;oBACL,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,aAAa,GAAG,CAAC,WAAW,CAAC,CAAC;QACvC,CAAC;IACL,CAAC;IAED,eAAe;QACX,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACtE,CAAC;IAED,eAAe;QACX,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,CAAC;IAED,oBAAoB;QAChB,8DAA8D;QAC9D,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxB,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,OAAO,IAAI,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAA,wCAAqB,EAAC,IAAI,CAAC,CAAC,CAAC;IAC9E,CAAC;IAED,oBAAoB;QAChB,OAAO,IAAI,CAAC,eAAe,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAA,wCAAqB,EAAC,IAAI,CAAC,CAAC,CAAC;IAChF,CAAC;IAED,kBAAkB;QACd,OAAO,IAAI,CAAC,gBAAgB,CAAC;IACjC,CAAC;CACJ;AA9MD,wBA8MC"}
|
@@ -72,7 +72,7 @@ function createTracePrinter(roots) {
|
|
72
72
|
if (type) {
|
73
73
|
switch (type.category) {
|
74
74
|
case 2 /* TypeCategory.Any */:
|
75
|
-
return `Any ${wrap((_b = (_a = type.props) === null || _a === void 0 ? void 0 : _a.typeAliasInfo) === null || _b === void 0 ? void 0 : _b.fullName)}`;
|
75
|
+
return `Any ${wrap((_b = (_a = type.props) === null || _a === void 0 ? void 0 : _a.typeAliasInfo) === null || _b === void 0 ? void 0 : _b.shared.fullName)}`;
|
76
76
|
case 6 /* TypeCategory.Class */:
|
77
77
|
if (types_1.TypeBase.isInstantiable(type)) {
|
78
78
|
return `Class '${type.shared.name}' (${type.shared.moduleName})`;
|
@@ -85,19 +85,19 @@ function createTracePrinter(roots) {
|
|
85
85
|
case 7 /* TypeCategory.Module */:
|
86
86
|
return `Module '${type.priv.moduleName}' (${type.priv.moduleName})`;
|
87
87
|
case 3 /* TypeCategory.Never */:
|
88
|
-
return `Never ${wrap((_d = (_c = type.props) === null || _c === void 0 ? void 0 : _c.typeAliasInfo) === null || _d === void 0 ? void 0 : _d.fullName)}`;
|
88
|
+
return `Never ${wrap((_d = (_c = type.props) === null || _c === void 0 ? void 0 : _c.typeAliasInfo) === null || _d === void 0 ? void 0 : _d.shared.fullName)}`;
|
89
89
|
case 5 /* TypeCategory.Overloaded */:
|
90
90
|
return `Overloaded [${types_1.OverloadedType.getOverloads(type)
|
91
91
|
.map((o) => wrap(printType(o), '"'))
|
92
92
|
.join(',')}]`;
|
93
93
|
case 9 /* TypeCategory.TypeVar */:
|
94
|
-
return `TypeVar '${type.shared.name}' ${wrap((_f = (_e = type.props) === null || _e === void 0 ? void 0 : _e.typeAliasInfo) === null || _f === void 0 ? void 0 : _f.fullName)}`;
|
94
|
+
return `TypeVar '${type.shared.name}' ${wrap((_f = (_e = type.props) === null || _e === void 0 ? void 0 : _e.typeAliasInfo) === null || _f === void 0 ? void 0 : _f.shared.fullName)}`;
|
95
95
|
case 0 /* TypeCategory.Unbound */:
|
96
|
-
return `Unbound ${wrap((_h = (_g = type.props) === null || _g === void 0 ? void 0 : _g.typeAliasInfo) === null || _h === void 0 ? void 0 : _h.fullName)}`;
|
96
|
+
return `Unbound ${wrap((_h = (_g = type.props) === null || _g === void 0 ? void 0 : _g.typeAliasInfo) === null || _h === void 0 ? void 0 : _h.shared.fullName)}`;
|
97
97
|
case 8 /* TypeCategory.Union */:
|
98
98
|
return `Union [${type.priv.subtypes.map((o) => wrap(printType(o), '"')).join(',')}]`;
|
99
99
|
case 1 /* TypeCategory.Unknown */:
|
100
|
-
return `Unknown ${wrap((_k = (_j = type.props) === null || _j === void 0 ? void 0 : _j.typeAliasInfo) === null || _k === void 0 ? void 0 : _k.fullName)}`;
|
100
|
+
return `Unknown ${wrap((_k = (_j = type.props) === null || _j === void 0 ? void 0 : _j.typeAliasInfo) === null || _k === void 0 ? void 0 : _k.shared.fullName)}`;
|
101
101
|
default:
|
102
102
|
(0, debug_1.assertNever)(type);
|
103
103
|
}
|
@@ -1 +1 @@
|
|
1
|
-
{"version":3,"file":"tracePrinter.js","sourceRoot":"","sources":["../../../../../src/analyzer/tracePrinter.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;;;;;;;;;;;;;;;;;;;;;;;AAsBH,gDAiPC;AArQD,yCAAoD;AACpD,2CAA8C;AAC9C,mDAAyD;AACzD,2DAAkE;AAClE,2CAAwC;AACxC,qDAAkF;AAElF,qEAAuD;AAEvD,iEAAmD;AACnD,qCAAkC;AAClC,mCAAuE;AASvE,SAAgB,kBAAkB,CAAC,KAAY;IAC3C,SAAS,IAAI,CAAC,KAAyB,EAAE,EAAE,GAAG,GAAG;QAC7C,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,KAAK,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,CAAC;IAED,gEAAgE;IAChE,8BAA8B;IAC9B,mDAAmD;IACnD,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAEnE,MAAM,eAAe,GAAG,QAAQ,CAAC;IACjC,SAAS,qBAAqB,CAAC,eAA2D;QACtF,IAAI,eAAe,EAAE,CAAC;YAClB,IAAI,SAAG,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;gBAC1B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACvB,IAAI,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;wBAChC,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,eAAe,CAAC,CAAC;wBACtD,OAAO,IAAA,8BAAkB,EAAC,OAAQ,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC;oBACtE,CAAC;gBACL,CAAC;gBAED,OAAO,eAAe,CAAC,mBAAmB,EAAE,CAAC;YACjD,CAAC;iBAAM,IAAI,eAAe,CAAC,SAAS,EAAE,CAAC;gBACnC,OAAO,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC/C,CAAC;QACL,CAAC;QACD,OAAO,EAAE,CAAC;IACd,CAAC;IAED,SAAS,SAAS,CAAC,IAAsB;;QACrC,IAAI,IAAI,EAAE,CAAC;YACP,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACpB;oBACI,OAAO,OAAO,IAAI,CAAC,MAAA,MAAA,IAAI,CAAC,KAAK,0CAAE,aAAa,0CAAE,QAAQ,CAAC,EAAE,CAAC;
|
1
|
+
{"version":3,"file":"tracePrinter.js","sourceRoot":"","sources":["../../../../../src/analyzer/tracePrinter.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;;;;;;;;;;;;;;;;;;;;;;;AAsBH,gDAiPC;AArQD,yCAAoD;AACpD,2CAA8C;AAC9C,mDAAyD;AACzD,2DAAkE;AAClE,2CAAwC;AACxC,qDAAkF;AAElF,qEAAuD;AAEvD,iEAAmD;AACnD,qCAAkC;AAClC,mCAAuE;AASvE,SAAgB,kBAAkB,CAAC,KAAY;IAC3C,SAAS,IAAI,CAAC,KAAyB,EAAE,EAAE,GAAG,GAAG;QAC7C,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,KAAK,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,CAAC;IAED,gEAAgE;IAChE,8BAA8B;IAC9B,mDAAmD;IACnD,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAEnE,MAAM,eAAe,GAAG,QAAQ,CAAC;IACjC,SAAS,qBAAqB,CAAC,eAA2D;QACtF,IAAI,eAAe,EAAE,CAAC;YAClB,IAAI,SAAG,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;gBAC1B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACvB,IAAI,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;wBAChC,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,eAAe,CAAC,CAAC;wBACtD,OAAO,IAAA,8BAAkB,EAAC,OAAQ,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC;oBACtE,CAAC;gBACL,CAAC;gBAED,OAAO,eAAe,CAAC,mBAAmB,EAAE,CAAC;YACjD,CAAC;iBAAM,IAAI,eAAe,CAAC,SAAS,EAAE,CAAC;gBACnC,OAAO,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC/C,CAAC;QACL,CAAC;QACD,OAAO,EAAE,CAAC;IACd,CAAC;IAED,SAAS,SAAS,CAAC,IAAsB;;QACrC,IAAI,IAAI,EAAE,CAAC;YACP,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACpB;oBACI,OAAO,OAAO,IAAI,CAAC,MAAA,MAAA,IAAI,CAAC,KAAK,0CAAE,aAAa,0CAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAErE;oBACI,IAAI,gBAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;wBAChC,OAAO,UAAU,IAAI,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,GAAG,CAAC;oBACrE,CAAC;yBAAM,CAAC;wBACJ,OAAO,WAAW,IAAI,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,GAAG,CAAC;oBACtE,CAAC;gBAEL;oBACI,OAAO,aAAa,IAAI,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,GAAG,CAAC;gBAExE;oBACI,OAAO,WAAW,IAAI,CAAC,IAAI,CAAC,UAAU,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC;gBAExE;oBACI,OAAO,SAAS,IAAI,CAAC,MAAA,MAAA,IAAI,CAAC,KAAK,0CAAE,aAAa,0CAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAEvE;oBACI,OAAO,eAAe,sBAAc,CAAC,YAAY,CAAC,IAAI,CAAC;yBAClD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;yBACnC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAEtB;oBACI,OAAO,YAAY,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,MAAA,MAAA,IAAI,CAAC,KAAK,0CAAE,aAAa,0CAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAE/F;oBACI,OAAO,WAAW,IAAI,CAAC,MAAA,MAAA,IAAI,CAAC,KAAK,0CAAE,aAAa,0CAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAEzE;oBACI,OAAO,UAAU,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAEzF;oBACI,OAAO,WAAW,IAAI,CAAC,MAAA,MAAA,IAAI,CAAC,KAAK,0CAAE,aAAa,0CAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAEzE;oBACI,IAAA,mBAAW,EAAC,IAAI,CAAC,CAAC;YAC1B,CAAC;QACL,CAAC;QACD,OAAO,EAAE,CAAC;IACd,CAAC;IAED,SAAS,WAAW,CAAC,MAA0B;QAC3C,IAAI,MAAM,EAAE,CAAC;YACT,IAAI,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC;gBAC3B,OAAO,UAAU,gBAAgB,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACrE,CAAC;YAED,OAAO,UAAU,CAAC;QACtB,CAAC;QAED,OAAO,EAAE,CAAC;IACd,CAAC;IAED,SAAS,gBAAgB,CAAC,IAA6B;QACnD,IAAI,IAAI,EAAE,CAAC;YACP,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAChB;oBACI,OAAO,UAAU,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAEjF;oBACI,OAAO,UAAU,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAEjF;oBACI,OAAO,aAAa,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAEpF;oBACI,OAAO,cAAc,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,KAAK,qBAAqB,CACrF,IAAI,CAAC,GAAG,CACX,GAAG,CAAC;gBAET;oBACI,OAAO,UAAU,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAEjF;oBACI,OAAO,cAAc,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAErF;oBACI,OAAO,wBAAwB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAE/F;oBACI,OAAO,aAAa,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAEpF;oBACI,OAAO,cAAc,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAErF;oBACI,IAAA,mBAAW,EAAC,IAAI,CAAC,CAAC;YAC1B,CAAC;QACL,CAAC;QAED,OAAO,EAAE,CAAC;IACd,CAAC;IAED,SAAS,WAAW,CAAC,IAAe;QAChC,OAAO,IAAI,CAAC,QAAQ,kCAAyB,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC3D,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACvB,CAAC;QAED,OAAO,IAAI,CAAC,QAAQ,kCAAyB,CAAC,CAAC,CAAC,gBAAgB,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACnG,CAAC;IAED,SAAS,OAAO,CAAC,KAAa,EAAE,GAAG,GAAG,EAAE;QACpC,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;YACrB,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,OAAO,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,eAAe,CAAC;IACrD,CAAC;IAED,SAAS,SAAS,CAAC,IAA2B,EAAE,SAAS,GAAG,KAAK;;QAC7D,IAAI,CAAC,IAAI,EAAE,CAAC;YACR,OAAO,EAAE,CAAC;QACd,CAAC;QAED,IAAI,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,qBAAqB,CAAC,MAAA,WAAW,CAAC,IAAI,CAAC,0CAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAErF,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,QAAQ,aAAR,QAAQ,uBAAR,QAAQ,CAAE,KAAK,EAAE,CAAC;YAClB,MAAM,QAAQ,GAAG,IAAA,uCAAuB,EAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;YACrE,IAAI,IAAI,KAAK,QAAQ,CAAC,IAAI,GAAG,CAAC,IAAI,QAAQ,CAAC,SAAS,GAAG,CAAC,GAAG,CAAC;QAChE,CAAC;QAED,IAAI,IAAA,6BAAgB,EAAC,IAAI,CAAC,EAAE,CAAC;YACzB,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,IAAI,IAAI,EAAE,CAAC;QACjF,CAAC;QAED,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpB;gBACI,OAAO,aAAa,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,IAAI,CACjD,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAC9C,IAAI,IAAI,EAAE,CAAC;YAEhB;gBACI,OAAO,eAAe,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAE1F;gBACI,OAAO,iBAAiB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,CACnD,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAC9C,IAAI,IAAI,EAAE,CAAC;YAEhB;gBACI,OAAO,UAAU,IAAI,EAAE,CAAC;YAE5B;gBACI,OAAO,UAAU,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAEvD;gBACI,OAAO,aAAa,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAE1D;gBACI,OAAO,eAAe,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;YAEzF;gBACI,OAAO,aAAa,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YAEhF;gBACI,OAAO,cAAc,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YAEjF;gBACI,OAAO,GAAG,cAAc,CAAC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC;QAC7E,CAAC;IACL,CAAC;IAED,SAAS,MAAM,CAAC,CAAM;QAClB,MAAM,CAAC,GAAG,CAAc,CAAC;QACzB,OAAO,CAAC,IAAI,IAAA,eAAQ,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACrC,CAAC;IAED,SAAS,aAAa,CAAC,CAAM;QACzB,MAAM,CAAC,GAAG,CAAgB,CAAC;QAC3B,OAAO,CAAC,IAAI,IAAA,eAAQ,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,SAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAA,eAAQ,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC5E,CAAC;IAED,SAAS,MAAM,CAAC,CAAM;QAClB,MAAM,CAAC,GAAG,CAAS,CAAC;QACpB,OAAO,CAAC,IAAI,IAAA,eAAQ,EAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,IAAA,eAAQ,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC;IAED,SAAS,KAAK,CAAC,CAAgB;QAC3B,IAAI,CAAC,CAAC,EAAE,CAAC;YACL,OAAO,EAAE,CAAC;QACd,CAAC;QAED,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YACZ,OAAO,SAAS,CAAC,CAAC,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC;QAC9C,CAAC;QAED,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACnB,OAAO,gBAAgB,CAAC,CAAgB,CAAC,CAAC;QAC9C,CAAC;QAED,IAAI,CAAC,YAAY,eAAM,EAAE,CAAC;YACtB,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC;QAC1B,CAAC;QAED,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YACZ,OAAO,SAAS,CAAC,CAAS,CAAC,CAAC;QAChC,CAAC;QAED,iCAAiC;QACjC,OAAO,EAAE,CAAC;IACd,CAAC;IAED,OAAO;QACH,KAAK,EAAE,KAAK;QACZ,qBAAqB,EAAE,qBAAqB;KAC/C,CAAC;AACN,CAAC"}
|
@@ -1,8 +1,13 @@
|
|
1
1
|
import { DiagnosticAddendum } from '../common/diagnostic';
|
2
|
-
import { SliceNode } from '../parser/parseNodes';
|
2
|
+
import { SliceNode, TupleNode } from '../parser/parseNodes';
|
3
3
|
import { ConstraintTracker } from './constraintTracker';
|
4
|
-
import { AssignTypeFlags, TypeEvaluator } from './typeEvaluatorTypes';
|
5
|
-
import { ClassType, TupleTypeArg, Type } from './types';
|
4
|
+
import { AssignTypeFlags, EvalFlags, TypeEvaluator, TypeResult } from './typeEvaluatorTypes';
|
5
|
+
import { ClassType, TupleTypeArg, Type, UnknownType } from './types';
|
6
|
+
import { InferenceContext } from './typeUtils';
|
7
|
+
export declare function makeTupleObject(evaluator: TypeEvaluator, typeArgs: TupleTypeArg[], isUnpacked?: boolean): UnknownType | ClassType;
|
8
|
+
export declare function getTypeOfTuple(evaluator: TypeEvaluator, node: TupleNode, flags: EvalFlags, inferenceContext?: InferenceContext | undefined): TypeResult;
|
9
|
+
export declare function getTypeOfTupleWithContext(evaluator: TypeEvaluator, node: TupleNode, flags: EvalFlags, inferenceContext: InferenceContext): TypeResult | undefined;
|
10
|
+
export declare function getTypeOfTupleInferred(evaluator: TypeEvaluator, node: TupleNode, flags: EvalFlags): TypeResult;
|
6
11
|
export declare function assignTupleTypeArgs(evaluator: TypeEvaluator, destType: ClassType, srcType: ClassType, diag: DiagnosticAddendum | undefined, constraints: ConstraintTracker | undefined, flags: AssignTypeFlags, recursionCount: number): boolean;
|
7
12
|
export declare function adjustTupleTypeArgs(evaluator: TypeEvaluator, destTypeArgs: TupleTypeArg[], srcTypeArgs: TupleTypeArg[], flags: AssignTypeFlags): boolean;
|
8
13
|
export declare function getSlicedTupleType(evaluator: TypeEvaluator, tupleType: ClassType, sliceNode: SliceNode): Type | undefined;
|
package/dist/analyzer/tuples.js
CHANGED
@@ -8,12 +8,167 @@
|
|
8
8
|
* Provides special-case logic for type analysis of tuples.
|
9
9
|
*/
|
10
10
|
Object.defineProperty(exports, "__esModule", { value: true });
|
11
|
+
exports.makeTupleObject = makeTupleObject;
|
12
|
+
exports.getTypeOfTuple = getTypeOfTuple;
|
13
|
+
exports.getTypeOfTupleWithContext = getTypeOfTupleWithContext;
|
14
|
+
exports.getTypeOfTupleInferred = getTypeOfTupleInferred;
|
11
15
|
exports.assignTupleTypeArgs = assignTupleTypeArgs;
|
12
16
|
exports.adjustTupleTypeArgs = adjustTupleTypeArgs;
|
13
17
|
exports.getSlicedTupleType = getSlicedTupleType;
|
18
|
+
const diagnostic_1 = require("../common/diagnostic");
|
19
|
+
const diagnosticRules_1 = require("../common/diagnosticRules");
|
14
20
|
const localize_1 = require("../localization/localize");
|
21
|
+
const constraintSolver_1 = require("./constraintSolver");
|
22
|
+
const constraintTracker_1 = require("./constraintTracker");
|
23
|
+
const parseTreeUtils_1 = require("./parseTreeUtils");
|
24
|
+
const typeEvaluatorTypes_1 = require("./typeEvaluatorTypes");
|
15
25
|
const types_1 = require("./types");
|
16
26
|
const typeUtils_1 = require("./typeUtils");
|
27
|
+
// If a tuple expression with no declared type contains a large number
|
28
|
+
// of elements, it can cause performance issues. This value limits the
|
29
|
+
// number of elements that will be included in the tuple type before
|
30
|
+
// we default to tuple[Unknown, ...].
|
31
|
+
const maxInferredTupleEntryCount = 256;
|
32
|
+
function makeTupleObject(evaluator, typeArgs, isUnpacked = false) {
|
33
|
+
const tupleClass = evaluator.getTupleClassType();
|
34
|
+
if (tupleClass && (0, types_1.isInstantiableClass)(tupleClass)) {
|
35
|
+
return (0, typeUtils_1.convertToInstance)((0, typeUtils_1.specializeTupleClass)(tupleClass, typeArgs, /* isTypeArgExplicit */ true, isUnpacked));
|
36
|
+
}
|
37
|
+
return types_1.UnknownType.create();
|
38
|
+
}
|
39
|
+
function getTypeOfTuple(evaluator, node, flags, inferenceContext) {
|
40
|
+
var _a;
|
41
|
+
if ((flags & 256 /* EvalFlags.TypeExpression */) !== 0 && ((_a = node.parent) === null || _a === void 0 ? void 0 : _a.nodeType) !== 1 /* ParseNodeType.Argument */) {
|
42
|
+
// This is allowed inside of an index trailer, specifically
|
43
|
+
// to support Tuple[()], which is the documented way to annotate
|
44
|
+
// a zero-length tuple.
|
45
|
+
const diag = new diagnostic_1.DiagnosticAddendum();
|
46
|
+
diag.addMessage(localize_1.LocAddendum.useTupleInstead());
|
47
|
+
evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportInvalidTypeForm, localize_1.LocMessage.tupleInAnnotation() + diag.getString(), node);
|
48
|
+
return { type: types_1.UnknownType.create() };
|
49
|
+
}
|
50
|
+
if ((flags & 128 /* EvalFlags.InstantiableType */) !== 0 && node.d.items.length === 0 && !inferenceContext) {
|
51
|
+
return { type: makeTupleObject(evaluator, []), isEmptyTupleShorthand: true };
|
52
|
+
}
|
53
|
+
flags &= ~(256 /* EvalFlags.TypeExpression */ | 8 /* EvalFlags.StrLiteralAsType */ | 128 /* EvalFlags.InstantiableType */);
|
54
|
+
// If the expected type is a union, recursively call for each of the subtypes
|
55
|
+
// to find one that matches.
|
56
|
+
let expectedType = inferenceContext === null || inferenceContext === void 0 ? void 0 : inferenceContext.expectedType;
|
57
|
+
let expectedTypeContainsAny = inferenceContext && (0, types_1.isAny)(inferenceContext.expectedType);
|
58
|
+
if (inferenceContext && (0, types_1.isUnion)(inferenceContext.expectedType)) {
|
59
|
+
let matchingSubtype;
|
60
|
+
(0, typeUtils_1.doForEachSubtype)(inferenceContext.expectedType, (subtype) => {
|
61
|
+
if ((0, types_1.isAny)(subtype)) {
|
62
|
+
expectedTypeContainsAny = true;
|
63
|
+
}
|
64
|
+
if (!matchingSubtype) {
|
65
|
+
const subtypeResult = evaluator.useSpeculativeMode(node, () => {
|
66
|
+
return getTypeOfTupleWithContext(evaluator, node, flags, (0, typeUtils_1.makeInferenceContext)(subtype));
|
67
|
+
});
|
68
|
+
if (subtypeResult && evaluator.assignType(subtype, subtypeResult.type)) {
|
69
|
+
matchingSubtype = subtype;
|
70
|
+
}
|
71
|
+
}
|
72
|
+
},
|
73
|
+
/* sortSubtypes */ true);
|
74
|
+
expectedType = matchingSubtype;
|
75
|
+
}
|
76
|
+
let expectedTypeDiagAddendum;
|
77
|
+
if (expectedType) {
|
78
|
+
const result = getTypeOfTupleWithContext(evaluator, node, flags, (0, typeUtils_1.makeInferenceContext)(expectedType));
|
79
|
+
if (result && !result.typeErrors) {
|
80
|
+
return result;
|
81
|
+
}
|
82
|
+
expectedTypeDiagAddendum = result === null || result === void 0 ? void 0 : result.expectedTypeDiagAddendum;
|
83
|
+
}
|
84
|
+
const typeResult = getTypeOfTupleInferred(evaluator, node, flags);
|
85
|
+
// If there was an expected type of Any, replace the resulting type
|
86
|
+
// with Any rather than return a type with unknowns.
|
87
|
+
if (expectedTypeContainsAny) {
|
88
|
+
typeResult.type = types_1.AnyType.create();
|
89
|
+
}
|
90
|
+
return { ...typeResult, expectedTypeDiagAddendum };
|
91
|
+
}
|
92
|
+
function getTypeOfTupleWithContext(evaluator, node, flags, inferenceContext) {
|
93
|
+
inferenceContext.expectedType = (0, typeUtils_1.transformPossibleRecursiveTypeAlias)(inferenceContext.expectedType);
|
94
|
+
if (!(0, types_1.isClassInstance)(inferenceContext.expectedType)) {
|
95
|
+
return undefined;
|
96
|
+
}
|
97
|
+
const tupleClass = evaluator.getTupleClassType();
|
98
|
+
if (!tupleClass || !(0, types_1.isInstantiableClass)(tupleClass)) {
|
99
|
+
return undefined;
|
100
|
+
}
|
101
|
+
// Build an array of expected types.
|
102
|
+
let expectedTypes = [];
|
103
|
+
if ((0, typeUtils_1.isTupleClass)(inferenceContext.expectedType) && inferenceContext.expectedType.priv.tupleTypeArgs) {
|
104
|
+
expectedTypes = inferenceContext.expectedType.priv.tupleTypeArgs.map((t) => (0, typeUtils_1.transformPossibleRecursiveTypeAlias)(t.type));
|
105
|
+
const unboundedIndex = inferenceContext.expectedType.priv.tupleTypeArgs.findIndex((t) => t.isUnbounded);
|
106
|
+
if (unboundedIndex >= 0) {
|
107
|
+
if (expectedTypes.length > node.d.items.length) {
|
108
|
+
expectedTypes.splice(unboundedIndex, 1);
|
109
|
+
}
|
110
|
+
else {
|
111
|
+
while (expectedTypes.length < node.d.items.length) {
|
112
|
+
expectedTypes.splice(unboundedIndex, 0, expectedTypes[unboundedIndex]);
|
113
|
+
}
|
114
|
+
}
|
115
|
+
}
|
116
|
+
}
|
117
|
+
else {
|
118
|
+
const tupleConstraints = new constraintTracker_1.ConstraintTracker();
|
119
|
+
if (!(0, constraintSolver_1.addConstraintsForExpectedType)(evaluator, types_1.ClassType.cloneAsInstance(tupleClass), inferenceContext.expectedType, tupleConstraints, (0, parseTreeUtils_1.getTypeVarScopesForNode)(node), node.start)) {
|
120
|
+
return undefined;
|
121
|
+
}
|
122
|
+
const specializedTuple = evaluator.solveAndApplyConstraints(tupleClass, tupleConstraints);
|
123
|
+
if (!specializedTuple.priv.typeArgs || specializedTuple.priv.typeArgs.length !== 1) {
|
124
|
+
return undefined;
|
125
|
+
}
|
126
|
+
const homogenousType = (0, typeUtils_1.transformPossibleRecursiveTypeAlias)(specializedTuple.priv.typeArgs[0]);
|
127
|
+
for (let i = 0; i < node.d.items.length; i++) {
|
128
|
+
expectedTypes.push(homogenousType);
|
129
|
+
}
|
130
|
+
}
|
131
|
+
const entryTypeResults = node.d.items.map((expr, index) => evaluator.getTypeOfExpression(expr, flags | 268435456 /* EvalFlags.StripTupleLiterals */, (0, typeUtils_1.makeInferenceContext)(index < expectedTypes.length ? expectedTypes[index] : undefined, inferenceContext.isTypeIncomplete)));
|
132
|
+
const isIncomplete = entryTypeResults.some((result) => result.isIncomplete);
|
133
|
+
// Copy any expected type diag addenda for precision error reporting.
|
134
|
+
let expectedTypeDiagAddendum;
|
135
|
+
if (entryTypeResults.some((result) => result.expectedTypeDiagAddendum)) {
|
136
|
+
expectedTypeDiagAddendum = new diagnostic_1.DiagnosticAddendum();
|
137
|
+
entryTypeResults.forEach((result) => {
|
138
|
+
if (result.expectedTypeDiagAddendum) {
|
139
|
+
expectedTypeDiagAddendum.addAddendum(result.expectedTypeDiagAddendum);
|
140
|
+
}
|
141
|
+
});
|
142
|
+
}
|
143
|
+
// If the tuple contains a very large number of entries, it's probably
|
144
|
+
// generated code. If we encounter type errors, don't bother building
|
145
|
+
// the full tuple type.
|
146
|
+
let type;
|
147
|
+
if (node.d.items.length > maxInferredTupleEntryCount && entryTypeResults.some((result) => result.typeErrors)) {
|
148
|
+
type = makeTupleObject(evaluator, [{ type: types_1.UnknownType.create(), isUnbounded: true }]);
|
149
|
+
}
|
150
|
+
else {
|
151
|
+
type = makeTupleObject(evaluator, evaluator.buildTupleTypesList(entryTypeResults, /* stripLiterals */ false));
|
152
|
+
}
|
153
|
+
return { type, expectedTypeDiagAddendum, isIncomplete };
|
154
|
+
}
|
155
|
+
function getTypeOfTupleInferred(evaluator, node, flags) {
|
156
|
+
const entryTypeResults = node.d.items.map((expr) => evaluator.getTypeOfExpression(expr, flags | 268435456 /* EvalFlags.StripTupleLiterals */));
|
157
|
+
const isIncomplete = entryTypeResults.some((result) => result.isIncomplete);
|
158
|
+
// If the tuple contains a very large number of entries, it's probably
|
159
|
+
// generated code. Rather than taking the time to evaluate every entry,
|
160
|
+
// simply return an unknown type in this case.
|
161
|
+
if (node.d.items.length > maxInferredTupleEntryCount) {
|
162
|
+
return { type: makeTupleObject(evaluator, [{ type: types_1.UnknownType.create(), isUnbounded: true }]) };
|
163
|
+
}
|
164
|
+
const type = makeTupleObject(evaluator, evaluator.buildTupleTypesList(entryTypeResults, (flags & 268435456 /* EvalFlags.StripTupleLiterals */) !== 0));
|
165
|
+
if (isIncomplete) {
|
166
|
+
if ((0, typeUtils_1.getContainerDepth)(type) > typeEvaluatorTypes_1.maxInferredContainerDepth) {
|
167
|
+
return { type: types_1.UnknownType.create() };
|
168
|
+
}
|
169
|
+
}
|
170
|
+
return { type, isIncomplete };
|
171
|
+
}
|
17
172
|
// Assigns the source type arguments to the dest type arguments. It assumed
|
18
173
|
// the the caller has already verified that both the dest and source are
|
19
174
|
// tuple classes.
|
@@ -1 +1 @@
|
|
1
|
-
{"version":3,"file":"tuples.js","sourceRoot":"","sources":["../../../../../src/analyzer/tuples.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;AA0BH,kDAwFC;AAOD,kDA+JC;AAID,gDAoBC;AA7SD,uDAAuD;AAIvD,mCAaiB;AACjB,2CAAsF;AAEtF,2EAA2E;AAC3E,wEAAwE;AACxE,iBAAiB;AACjB,SAAgB,mBAAmB,CAC/B,SAAwB,EACxB,QAAmB,EACnB,OAAkB,EAClB,IAAoC,EACpC,WAA0C,EAC1C,KAAsB,EACtB,cAAsB;;IAEtB,MAAM,YAAY,GAAG,CAAC,GAAG,CAAC,MAAA,QAAQ,CAAC,IAAI,CAAC,aAAa,mCAAI,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,MAAA,OAAO,CAAC,IAAI,CAAC,aAAa,mCAAI,EAAE,CAAC,CAAC,CAAC;IAE5D,IAAI,mBAAmB,CAAC,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC;QACnE,KAAK,IAAI,QAAQ,GAAG,CAAC,EAAE,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC;YAC/D,MAAM,SAAS,GAAG,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,cAAc,EAAE,CAAC;YACzC,MAAM,WAAW,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC;YAChD,MAAM,UAAU,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC;YAE9C,2DAA2D;YAC3D,2DAA2D;YAC3D,IACI,IAAA,sBAAc,EAAC,WAAW,CAAC;gBAC3B,WAAW,CAAC,IAAI,CAAC,UAAU;gBAC3B,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS;gBAC3B,IAAA,8BAAkB,EAAC,UAAU,CAAC,EAChC,CAAC;gBACC,OAAO,IAAI,CAAC;YAChB,CAAC;YAED,IACI,CAAC,SAAS,CAAC,UAAU,CACjB,WAAW,EACX,UAAU,EACV,SAAS,aAAT,SAAS,uBAAT,SAAS,CAAE,cAAc,EAAE,EAC3B,WAAW,EACX,KAAK,EACL,cAAc,CACjB,EACH,CAAC;gBACC,IAAI,SAAS,EAAE,CAAC;oBACZ,SAAS,CAAC,UAAU,CAChB,sBAAW,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC;wBACxC,KAAK,EAAE,QAAQ,GAAG,CAAC;qBACtB,CAAC,CACL,CAAC;gBACN,CAAC;gBACD,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,MAAM,mBAAmB,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,IAAA,sBAAc,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAE9F,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,IAAA,sBAAc,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACnE,IAAI,mBAAmB,EAAE,CAAC;gBACtB,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CACZ,sBAAW,CAAC,6BAA6B,EAAE,CAAC,MAAM,CAAC;oBAC/C,QAAQ,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC;iBACpC,CAAC,CACL,CAAC;YACN,CAAC;iBAAM,CAAC;gBACJ,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CACZ,sBAAW,CAAC,yBAAyB,EAAE,CAAC,MAAM,CAAC;oBAC3C,QAAQ,EAAE,YAAY,CAAC,MAAM;iBAChC,CAAC,CACL,CAAC;YACN,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,mBAAmB,EAAE,CAAC;gBACtB,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CACZ,sBAAW,CAAC,kCAAkC,EAAE,CAAC,MAAM,CAAC;oBACpD,QAAQ,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC;oBACjC,QAAQ,EAAE,WAAW,CAAC,MAAM;iBAC/B,CAAC,CACL,CAAC;YACN,CAAC;iBAAM,CAAC;gBACJ,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CACZ,sBAAW,CAAC,iBAAiB,EAAE,CAAC,MAAM,CAAC;oBACnC,QAAQ,EAAE,YAAY,CAAC,MAAM;oBAC7B,QAAQ,EAAE,WAAW,CAAC,MAAM;iBAC/B,CAAC,CACL,CAAC;YACN,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,yEAAyE;AACzE,0EAA0E;AAC1E,sEAAsE;AACtE,wEAAwE;AACxE,yBAAyB;AACzB,SAAgB,mBAAmB,CAC/B,SAAwB,EACxB,YAA4B,EAC5B,WAA2B,EAC3B,KAAsB;IAEtB,MAAM,4BAA4B,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,IAAA,sBAAc,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5G,MAAM,iBAAiB,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACtE,MAAM,gBAAgB,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAE9E,IAAI,iBAAiB,IAAI,CAAC,EAAE,CAAC;QACzB,IAAI,IAAA,sBAAc,EAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACtD,+EAA+E;YAC/E,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAO,CAAC,MAAM,EAAE,CAAC;YAExG,OAAO,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC;gBAC9C,WAAW,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3F,CAAC;YAED,IAAI,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC;gBAC3C,WAAW,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC;YAC7C,CAAC;QACL,CAAC;aAAM,IAAI,4BAA4B,GAAG,CAAC,EAAE,CAAC;YAC1C,qFAAqF;YACrF,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IAED,+EAA+E;IAC/E,IACI,4BAA4B,IAAI,CAAC;QACjC,YAAY,CAAC,4BAA4B,CAAC,CAAC,WAAW;QACtD,IAAA,sBAAc,EAAC,YAAY,CAAC,4BAA4B,CAAC,CAAC,IAAI,CAAC,EACjE,CAAC;QACC,OAAO,YAAY,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC;YAC9C,YAAY,CAAC,MAAM,CAAC,4BAA4B,EAAE,CAAC,EAAE,YAAY,CAAC,4BAA4B,CAAC,CAAC,CAAC;QACrG,CAAC;IACL,CAAC;IAED,wFAAwF;IACxF,OAAO,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;QAChG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,OAAO,YAAY,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,IAAI,YAAY,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;QAClG,YAAY,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,gBAAgB,GAAG,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;IACtE,IAAI,aAAa,GAAG,KAAK,CAAC;IAE1B,+EAA+E;IAC/E,oEAAoE;IACpE,oBAAoB;IACpB,IAAI,CAAC,KAAK,wCAAgC,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,iBAAiB,GAAG,YAAY,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;QAEvE,IAAI,gBAAgB,IAAI,CAAC,IAAI,iBAAiB,IAAI,CAAC,EAAE,CAAC;YAClD,wEAAwE;YACxE,6BAA6B;YAC7B,MAAM,cAAc,GAAG,iBAAiB,KAAK,CAAC,IAAI,IAAA,sBAAc,EAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC;YACtG,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC;YAEjD,IAAI,CAAC,cAAc,IAAI,UAAU,IAAI,IAAA,2BAAmB,EAAC,UAAU,CAAC,EAAE,CAAC;gBACnE,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;gBAE7E,+DAA+D;gBAC/D,MAAM,aAAa,GAAG,iBAAS,CAAC,eAAe,CAC3C,IAAA,gCAAoB,EAChB,UAAU,EACV,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;oBACxB,OAAO;wBACH,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,WAAW,EAAE,OAAO,CAAC,WAAW;wBAChC,UAAU,EAAE,OAAO,CAAC,UAAU;qBACjC,CAAC;gBACN,CAAC,CAAC;gBACF,uBAAuB,CAAC,IAAI;gBAC5B,gBAAgB,CAAC,IAAI,CACxB,CACJ,CAAC;gBAEF,YAAY,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC,EAAE;oBACrC,IAAI,EAAE,aAAa;oBACnB,WAAW,EAAE,KAAK;iBACrB,CAAC,CAAC;YACP,CAAC;YAED,aAAa,GAAG,IAAI,CAAC;QACzB,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,IAAI,4BAA4B,IAAI,CAAC,IAAI,gBAAgB,IAAI,CAAC,EAAE,CAAC;YAC7D,kEAAkE;YAClE,uEAAuE;YACvE,IAAI,IAAA,sBAAc,EAAC,YAAY,CAAC,4BAA4B,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClE,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC;gBAEjD,IAAI,UAAU,IAAI,IAAA,2BAAmB,EAAC,UAAU,CAAC,EAAE,CAAC;oBAChD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,4BAA4B,EAAE,gBAAgB,CAAC,CAAC;oBAEvF,IAAI,aAAmB,CAAC;oBAExB,qEAAqE;oBACrE,qCAAqC;oBACrC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,IAAA,8BAAsB,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC1E,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBACxC,CAAC;yBAAM,CAAC;wBACJ,+DAA+D;wBAC/D,aAAa,GAAG,iBAAS,CAAC,eAAe,CACrC,IAAA,gCAAoB,EAChB,UAAU,EACV,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;4BACxB,OAAO;gCACH,IAAI,EAAE,OAAO,CAAC,IAAI;gCAClB,WAAW,EAAE,OAAO,CAAC,WAAW;gCAChC,UAAU,EAAE,OAAO,CAAC,UAAU;6BACjC,CAAC;wBACN,CAAC,CAAC;wBACF,uBAAuB,CAAC,IAAI;wBAC5B,gBAAgB,CAAC,IAAI,CACxB,CACJ,CAAC;oBACN,CAAC;oBAED,WAAW,CAAC,MAAM,CAAC,4BAA4B,EAAE,CAAC,EAAE;wBAChD,IAAI,EAAE,aAAa;wBACnB,WAAW,EAAE,KAAK;qBACrB,CAAC,CAAC;gBACP,CAAC;gBAED,aAAa,GAAG,IAAI,CAAC;YACzB,CAAC;QACL,CAAC;IACL,CAAC;IAED,IAAI,CAAC,aAAa,IAAI,4BAA4B,IAAI,CAAC,IAAI,gBAAgB,IAAI,CAAC,EAAE,CAAC;QAC/E,gEAAgE;QAChE,uEAAuE;QACvE,4CAA4C;QAC5C,IACI,iBAAiB,GAAG,CAAC;YACrB,CAAC,iBAAiB,IAAI,4BAA4B;gBAC9C,iBAAiB,GAAG,4BAA4B,GAAG,gBAAgB,CAAC,EAC1E,CAAC;YACC,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,4BAA4B,EAAE,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACjG,IAAI,IAAA,iBAAS,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAA,8BAAsB,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtD,OAAO,mBAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC;gBACtE,CAAC;gBACD,OAAO,CAAC,CAAC,IAAI,CAAC;YAClB,CAAC,CAAC,CAAC;YAEH,WAAW,CAAC,MAAM,CAAC,4BAA4B,EAAE,CAAC,EAAE;gBAChD,IAAI,EAAE,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAA,oBAAY,EAAC,eAAe,CAAC,CAAC,CAAC,CAAC,eAAO,CAAC,MAAM,EAAE;gBACnF,WAAW,EAAE,KAAK;aACrB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,OAAO,YAAY,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM,CAAC;AACtD,CAAC;AAED,sEAAsE;AACtE,8DAA8D;AAC9D,SAAgB,kBAAkB,CAC9B,SAAwB,EACxB,SAAoB,EACpB,SAAoB;IAEpB,+BAA+B;IAC/B,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QACzD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC;IACnD,MAAM,UAAU,GAAG,kBAAkB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC;IAC3F,MAAM,QAAQ,GAAG,kBAAkB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAE1G,IAAI,UAAU,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,GAAG,UAAU,EAAE,CAAC;QAC9E,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,cAAc,GAAG,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACjE,OAAO,iBAAS,CAAC,eAAe,CAAC,IAAA,gCAAoB,EAAC,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,kBAAkB,CACvB,SAAwB,EACxB,UAAsC,EACtC,YAAoB,EACpB,aAA6B;IAE7B,IAAI,KAAK,GAAG,YAAY,CAAC;IAEzB,IAAI,UAAU,EAAE,CAAC;QACb,MAAM,OAAO,GAAG,SAAS,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC;QAC/D,IAAI,CAAC,IAAA,uBAAe,EAAC,OAAO,CAAC,IAAI,CAAC,iBAAS,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAA,yBAAa,EAAC,OAAO,CAAC,EAAE,CAAC;YAC/F,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,YAAsB,CAAC;QAC5C,MAAM,cAAc,GAAG,aAAa,CAAC,SAAS,CAC1C,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,IAAI,IAAA,sBAAc,EAAC,OAAO,CAAC,IAAI,CAAC,CACnE,CAAC;QAEF,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACZ,KAAK,GAAG,aAAa,CAAC,MAAM,GAAG,KAAK,CAAC;YACrC,IAAI,cAAc,IAAI,CAAC,IAAI,KAAK,IAAI,cAAc,EAAE,CAAC;gBACjD,OAAO,SAAS,CAAC;YACrB,CAAC;iBAAM,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACnB,OAAO,CAAC,CAAC;YACb,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,cAAc,IAAI,CAAC,IAAI,KAAK,GAAG,cAAc,EAAE,CAAC;gBAChD,OAAO,SAAS,CAAC;YACrB,CAAC;iBAAM,IAAI,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC;gBACtC,OAAO,aAAa,CAAC,MAAM,CAAC;YAChC,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACjB,CAAC"}
|
1
|
+
{"version":3,"file":"tuples.js","sourceRoot":"","sources":["../../../../../src/analyzer/tuples.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;AA8CH,0CAOC;AAED,wCA8EC;AAED,8DA6FC;AAED,wDAyBC;AAKD,kDAwFC;AAOD,kDA+JC;AAID,gDAoBC;AAxhBD,qDAA0D;AAC1D,+DAA2D;AAC3D,uDAAmE;AAEnE,yDAAmE;AACnE,2DAAwD;AACxD,qDAA2D;AAC3D,6DAAwH;AACxH,mCAgBiB;AACjB,2CAWqB;AAErB,sEAAsE;AACtE,sEAAsE;AACtE,oEAAoE;AACpE,qCAAqC;AACrC,MAAM,0BAA0B,GAAG,GAAG,CAAC;AAEvC,SAAgB,eAAe,CAAC,SAAwB,EAAE,QAAwB,EAAE,UAAU,GAAG,KAAK;IAClG,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC;IACjD,IAAI,UAAU,IAAI,IAAA,2BAAmB,EAAC,UAAU,CAAC,EAAE,CAAC;QAChD,OAAO,IAAA,6BAAiB,EAAC,IAAA,gCAAoB,EAAC,UAAU,EAAE,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;IACnH,CAAC;IAED,OAAO,mBAAW,CAAC,MAAM,EAAE,CAAC;AAChC,CAAC;AAED,SAAgB,cAAc,CAC1B,SAAwB,EACxB,IAAe,EACf,KAAgB,EAChB,gBAA+C;;IAE/C,IAAI,CAAC,KAAK,qCAA2B,CAAC,KAAK,CAAC,IAAI,CAAA,MAAA,IAAI,CAAC,MAAM,0CAAE,QAAQ,oCAA2B,EAAE,CAAC;QAC/F,2DAA2D;QAC3D,gEAAgE;QAChE,uBAAuB;QACvB,MAAM,IAAI,GAAG,IAAI,+BAAkB,EAAE,CAAC;QACtC,IAAI,CAAC,UAAU,CAAC,sBAAW,CAAC,eAAe,EAAE,CAAC,CAAC;QAC/C,SAAS,CAAC,aAAa,CACnB,gCAAc,CAAC,qBAAqB,EACpC,qBAAU,CAAC,iBAAiB,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,EACjD,IAAI,CACP,CAAC;QAEF,OAAO,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,CAAC;IAC1C,CAAC;IAED,IAAI,CAAC,KAAK,uCAA6B,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC/F,OAAO,EAAE,IAAI,EAAE,eAAe,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC;IACjF,CAAC;IAED,KAAK,IAAI,CAAC,CAAC,uEAAqD,uCAA6B,CAAC,CAAC;IAE/F,6EAA6E;IAC7E,4BAA4B;IAC5B,IAAI,YAAY,GAAG,gBAAgB,aAAhB,gBAAgB,uBAAhB,gBAAgB,CAAE,YAAY,CAAC;IAClD,IAAI,uBAAuB,GAAG,gBAAgB,IAAI,IAAA,aAAK,EAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;IAEvF,IAAI,gBAAgB,IAAI,IAAA,eAAO,EAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,CAAC;QAC7D,IAAI,eAAiC,CAAC;QAEtC,IAAA,4BAAgB,EACZ,gBAAgB,CAAC,YAAY,EAC7B,CAAC,OAAO,EAAE,EAAE;YACR,IAAI,IAAA,aAAK,EAAC,OAAO,CAAC,EAAE,CAAC;gBACjB,uBAAuB,GAAG,IAAI,CAAC;YACnC,CAAC;YAED,IAAI,CAAC,eAAe,EAAE,CAAC;gBACnB,MAAM,aAAa,GAAG,SAAS,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE;oBAC1D,OAAO,yBAAyB,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAA,gCAAoB,EAAC,OAAO,CAAC,CAAC,CAAC;gBAC5F,CAAC,CAAC,CAAC;gBAEH,IAAI,aAAa,IAAI,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrE,eAAe,GAAG,OAAO,CAAC;gBAC9B,CAAC;YACL,CAAC;QACL,CAAC;QACD,kBAAkB,CAAC,IAAI,CAC1B,CAAC;QAEF,YAAY,GAAG,eAAe,CAAC;IACnC,CAAC;IAED,IAAI,wBAAwD,CAAC;IAC7D,IAAI,YAAY,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,yBAAyB,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAA,gCAAoB,EAAC,YAAY,CAAC,CAAC,CAAC;QAErG,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YAC/B,OAAO,MAAM,CAAC;QAClB,CAAC;QAED,wBAAwB,GAAG,MAAM,aAAN,MAAM,uBAAN,MAAM,CAAE,wBAAwB,CAAC;IAChE,CAAC;IAED,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAElE,mEAAmE;IACnE,oDAAoD;IACpD,IAAI,uBAAuB,EAAE,CAAC;QAC1B,UAAU,CAAC,IAAI,GAAG,eAAO,CAAC,MAAM,EAAE,CAAC;IACvC,CAAC;IAED,OAAO,EAAE,GAAG,UAAU,EAAE,wBAAwB,EAAE,CAAC;AACvD,CAAC;AAED,SAAgB,yBAAyB,CACrC,SAAwB,EACxB,IAAe,EACf,KAAgB,EAChB,gBAAkC;IAElC,gBAAgB,CAAC,YAAY,GAAG,IAAA,+CAAmC,EAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;IACnG,IAAI,CAAC,IAAA,uBAAe,EAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,CAAC;QAClD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC;IACjD,IAAI,CAAC,UAAU,IAAI,CAAC,IAAA,2BAAmB,EAAC,UAAU,CAAC,EAAE,CAAC;QAClD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,oCAAoC;IACpC,IAAI,aAAa,GAAW,EAAE,CAAC;IAE/B,IAAI,IAAA,wBAAY,EAAC,gBAAgB,CAAC,YAAY,CAAC,IAAI,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QAClG,aAAa,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACvE,IAAA,+CAAmC,EAAC,CAAC,CAAC,IAAI,CAAC,CAC9C,CAAC;QACF,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACxG,IAAI,cAAc,IAAI,CAAC,EAAE,CAAC;YACtB,IAAI,aAAa,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;gBAC7C,aAAa,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;YAC5C,CAAC;iBAAM,CAAC;gBACJ,OAAO,aAAa,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBAChD,aAAa,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC,CAAC;gBAC3E,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,MAAM,gBAAgB,GAAG,IAAI,qCAAiB,EAAE,CAAC;QACjD,IACI,CAAC,IAAA,gDAA6B,EAC1B,SAAS,EACT,iBAAS,CAAC,eAAe,CAAC,UAAU,CAAC,EACrC,gBAAgB,CAAC,YAAY,EAC7B,gBAAgB,EAChB,IAAA,wCAAuB,EAAC,IAAI,CAAC,EAC7B,IAAI,CAAC,KAAK,CACb,EACH,CAAC;YACC,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,gBAAgB,GAAG,SAAS,CAAC,wBAAwB,CAAC,UAAU,EAAE,gBAAgB,CAAc,CAAC;QACvG,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjF,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,cAAc,GAAG,IAAA,+CAAmC,EAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACvC,CAAC;IACL,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACtD,SAAS,CAAC,mBAAmB,CACzB,IAAI,EACJ,KAAK,+CAA+B,EACpC,IAAA,gCAAoB,EAChB,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,EAC/D,gBAAgB,CAAC,gBAAgB,CACpC,CACJ,CACJ,CAAC;IACF,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAE5E,qEAAqE;IACrE,IAAI,wBAAwD,CAAC;IAC7D,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC;QACrE,wBAAwB,GAAG,IAAI,+BAAkB,EAAE,CAAC;QACpD,gBAAgB,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;YAChC,IAAI,MAAM,CAAC,wBAAwB,EAAE,CAAC;gBAClC,wBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC;YAC3E,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC;IAED,sEAAsE;IACtE,qEAAqE;IACrE,uBAAuB;IACvB,IAAI,IAAU,CAAC;IACf,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,0BAA0B,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3G,IAAI,GAAG,eAAe,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3F,CAAC;SAAM,CAAC;QACJ,IAAI,GAAG,eAAe,CAAC,SAAS,EAAE,SAAS,CAAC,mBAAmB,CAAC,gBAAgB,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;IAClH,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,wBAAwB,EAAE,YAAY,EAAE,CAAC;AAC5D,CAAC;AAED,SAAgB,sBAAsB,CAAC,SAAwB,EAAE,IAAe,EAAE,KAAgB;IAC9F,MAAM,gBAAgB,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC/C,SAAS,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,+CAA+B,CAAC,CAC5E,CAAC;IACF,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAE5E,sEAAsE;IACtE,uEAAuE;IACvE,8CAA8C;IAC9C,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,0BAA0B,EAAE,CAAC;QACnD,OAAO,EAAE,IAAI,EAAE,eAAe,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;IACrG,CAAC;IAED,MAAM,IAAI,GAAG,eAAe,CACxB,SAAS,EACT,SAAS,CAAC,mBAAmB,CAAC,gBAAgB,EAAE,CAAC,KAAK,+CAA+B,CAAC,KAAK,CAAC,CAAC,CAChG,CAAC;IAEF,IAAI,YAAY,EAAE,CAAC;QACf,IAAI,IAAA,6BAAiB,EAAC,IAAI,CAAC,GAAG,8CAAyB,EAAE,CAAC;YACtD,OAAO,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1C,CAAC;IACL,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AAClC,CAAC;AAED,2EAA2E;AAC3E,wEAAwE;AACxE,iBAAiB;AACjB,SAAgB,mBAAmB,CAC/B,SAAwB,EACxB,QAAmB,EACnB,OAAkB,EAClB,IAAoC,EACpC,WAA0C,EAC1C,KAAsB,EACtB,cAAsB;;IAEtB,MAAM,YAAY,GAAG,CAAC,GAAG,CAAC,MAAA,QAAQ,CAAC,IAAI,CAAC,aAAa,mCAAI,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,MAAA,OAAO,CAAC,IAAI,CAAC,aAAa,mCAAI,EAAE,CAAC,CAAC,CAAC;IAE5D,IAAI,mBAAmB,CAAC,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC;QACnE,KAAK,IAAI,QAAQ,GAAG,CAAC,EAAE,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC;YAC/D,MAAM,SAAS,GAAG,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,cAAc,EAAE,CAAC;YACzC,MAAM,WAAW,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC;YAChD,MAAM,UAAU,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC;YAE9C,2DAA2D;YAC3D,2DAA2D;YAC3D,IACI,IAAA,sBAAc,EAAC,WAAW,CAAC;gBAC3B,WAAW,CAAC,IAAI,CAAC,UAAU;gBAC3B,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS;gBAC3B,IAAA,8BAAkB,EAAC,UAAU,CAAC,EAChC,CAAC;gBACC,OAAO,IAAI,CAAC;YAChB,CAAC;YAED,IACI,CAAC,SAAS,CAAC,UAAU,CACjB,WAAW,EACX,UAAU,EACV,SAAS,aAAT,SAAS,uBAAT,SAAS,CAAE,cAAc,EAAE,EAC3B,WAAW,EACX,KAAK,EACL,cAAc,CACjB,EACH,CAAC;gBACC,IAAI,SAAS,EAAE,CAAC;oBACZ,SAAS,CAAC,UAAU,CAChB,sBAAW,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC;wBACxC,KAAK,EAAE,QAAQ,GAAG,CAAC;qBACtB,CAAC,CACL,CAAC;gBACN,CAAC;gBACD,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,MAAM,mBAAmB,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,IAAA,sBAAc,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAE9F,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,IAAA,sBAAc,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACnE,IAAI,mBAAmB,EAAE,CAAC;gBACtB,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CACZ,sBAAW,CAAC,6BAA6B,EAAE,CAAC,MAAM,CAAC;oBAC/C,QAAQ,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC;iBACpC,CAAC,CACL,CAAC;YACN,CAAC;iBAAM,CAAC;gBACJ,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CACZ,sBAAW,CAAC,yBAAyB,EAAE,CAAC,MAAM,CAAC;oBAC3C,QAAQ,EAAE,YAAY,CAAC,MAAM;iBAChC,CAAC,CACL,CAAC;YACN,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,mBAAmB,EAAE,CAAC;gBACtB,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CACZ,sBAAW,CAAC,kCAAkC,EAAE,CAAC,MAAM,CAAC;oBACpD,QAAQ,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC;oBACjC,QAAQ,EAAE,WAAW,CAAC,MAAM;iBAC/B,CAAC,CACL,CAAC;YACN,CAAC;iBAAM,CAAC;gBACJ,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CACZ,sBAAW,CAAC,iBAAiB,EAAE,CAAC,MAAM,CAAC;oBACnC,QAAQ,EAAE,YAAY,CAAC,MAAM;oBAC7B,QAAQ,EAAE,WAAW,CAAC,MAAM;iBAC/B,CAAC,CACL,CAAC;YACN,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,yEAAyE;AACzE,0EAA0E;AAC1E,sEAAsE;AACtE,wEAAwE;AACxE,yBAAyB;AACzB,SAAgB,mBAAmB,CAC/B,SAAwB,EACxB,YAA4B,EAC5B,WAA2B,EAC3B,KAAsB;IAEtB,MAAM,4BAA4B,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,IAAA,sBAAc,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5G,MAAM,iBAAiB,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACtE,MAAM,gBAAgB,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAE9E,IAAI,iBAAiB,IAAI,CAAC,EAAE,CAAC;QACzB,IAAI,IAAA,sBAAc,EAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACtD,+EAA+E;YAC/E,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAO,CAAC,MAAM,EAAE,CAAC;YAExG,OAAO,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC;gBAC9C,WAAW,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3F,CAAC;YAED,IAAI,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC;gBAC3C,WAAW,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC;YAC7C,CAAC;QACL,CAAC;aAAM,IAAI,4BAA4B,GAAG,CAAC,EAAE,CAAC;YAC1C,qFAAqF;YACrF,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IAED,+EAA+E;IAC/E,IACI,4BAA4B,IAAI,CAAC;QACjC,YAAY,CAAC,4BAA4B,CAAC,CAAC,WAAW;QACtD,IAAA,sBAAc,EAAC,YAAY,CAAC,4BAA4B,CAAC,CAAC,IAAI,CAAC,EACjE,CAAC;QACC,OAAO,YAAY,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC;YAC9C,YAAY,CAAC,MAAM,CAAC,4BAA4B,EAAE,CAAC,EAAE,YAAY,CAAC,4BAA4B,CAAC,CAAC,CAAC;QACrG,CAAC;IACL,CAAC;IAED,wFAAwF;IACxF,OAAO,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;QAChG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,OAAO,YAAY,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,IAAI,YAAY,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;QAClG,YAAY,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,gBAAgB,GAAG,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;IACtE,IAAI,aAAa,GAAG,KAAK,CAAC;IAE1B,+EAA+E;IAC/E,oEAAoE;IACpE,oBAAoB;IACpB,IAAI,CAAC,KAAK,wCAAgC,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,iBAAiB,GAAG,YAAY,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;QAEvE,IAAI,gBAAgB,IAAI,CAAC,IAAI,iBAAiB,IAAI,CAAC,EAAE,CAAC;YAClD,wEAAwE;YACxE,6BAA6B;YAC7B,MAAM,cAAc,GAAG,iBAAiB,KAAK,CAAC,IAAI,IAAA,sBAAc,EAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC;YACtG,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC;YAEjD,IAAI,CAAC,cAAc,IAAI,UAAU,IAAI,IAAA,2BAAmB,EAAC,UAAU,CAAC,EAAE,CAAC;gBACnE,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;gBAE7E,+DAA+D;gBAC/D,MAAM,aAAa,GAAG,iBAAS,CAAC,eAAe,CAC3C,IAAA,gCAAoB,EAChB,UAAU,EACV,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;oBACxB,OAAO;wBACH,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,WAAW,EAAE,OAAO,CAAC,WAAW;wBAChC,UAAU,EAAE,OAAO,CAAC,UAAU;qBACjC,CAAC;gBACN,CAAC,CAAC;gBACF,uBAAuB,CAAC,IAAI;gBAC5B,gBAAgB,CAAC,IAAI,CACxB,CACJ,CAAC;gBAEF,YAAY,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC,EAAE;oBACrC,IAAI,EAAE,aAAa;oBACnB,WAAW,EAAE,KAAK;iBACrB,CAAC,CAAC;YACP,CAAC;YAED,aAAa,GAAG,IAAI,CAAC;QACzB,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,IAAI,4BAA4B,IAAI,CAAC,IAAI,gBAAgB,IAAI,CAAC,EAAE,CAAC;YAC7D,kEAAkE;YAClE,uEAAuE;YACvE,IAAI,IAAA,sBAAc,EAAC,YAAY,CAAC,4BAA4B,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClE,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC;gBAEjD,IAAI,UAAU,IAAI,IAAA,2BAAmB,EAAC,UAAU,CAAC,EAAE,CAAC;oBAChD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,4BAA4B,EAAE,gBAAgB,CAAC,CAAC;oBAEvF,IAAI,aAAmB,CAAC;oBAExB,qEAAqE;oBACrE,qCAAqC;oBACrC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,IAAA,8BAAsB,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC1E,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBACxC,CAAC;yBAAM,CAAC;wBACJ,+DAA+D;wBAC/D,aAAa,GAAG,iBAAS,CAAC,eAAe,CACrC,IAAA,gCAAoB,EAChB,UAAU,EACV,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;4BACxB,OAAO;gCACH,IAAI,EAAE,OAAO,CAAC,IAAI;gCAClB,WAAW,EAAE,OAAO,CAAC,WAAW;gCAChC,UAAU,EAAE,OAAO,CAAC,UAAU;6BACjC,CAAC;wBACN,CAAC,CAAC;wBACF,uBAAuB,CAAC,IAAI;wBAC5B,gBAAgB,CAAC,IAAI,CACxB,CACJ,CAAC;oBACN,CAAC;oBAED,WAAW,CAAC,MAAM,CAAC,4BAA4B,EAAE,CAAC,EAAE;wBAChD,IAAI,EAAE,aAAa;wBACnB,WAAW,EAAE,KAAK;qBACrB,CAAC,CAAC;gBACP,CAAC;gBAED,aAAa,GAAG,IAAI,CAAC;YACzB,CAAC;QACL,CAAC;IACL,CAAC;IAED,IAAI,CAAC,aAAa,IAAI,4BAA4B,IAAI,CAAC,IAAI,gBAAgB,IAAI,CAAC,EAAE,CAAC;QAC/E,gEAAgE;QAChE,uEAAuE;QACvE,4CAA4C;QAC5C,IACI,iBAAiB,GAAG,CAAC;YACrB,CAAC,iBAAiB,IAAI,4BAA4B;gBAC9C,iBAAiB,GAAG,4BAA4B,GAAG,gBAAgB,CAAC,EAC1E,CAAC;YACC,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,4BAA4B,EAAE,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACjG,IAAI,IAAA,iBAAS,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAA,8BAAsB,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtD,OAAO,mBAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC;gBACtE,CAAC;gBACD,OAAO,CAAC,CAAC,IAAI,CAAC;YAClB,CAAC,CAAC,CAAC;YAEH,WAAW,CAAC,MAAM,CAAC,4BAA4B,EAAE,CAAC,EAAE;gBAChD,IAAI,EAAE,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAA,oBAAY,EAAC,eAAe,CAAC,CAAC,CAAC,CAAC,eAAO,CAAC,MAAM,EAAE;gBACnF,WAAW,EAAE,KAAK;aACrB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,OAAO,YAAY,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM,CAAC;AACtD,CAAC;AAED,sEAAsE;AACtE,8DAA8D;AAC9D,SAAgB,kBAAkB,CAC9B,SAAwB,EACxB,SAAoB,EACpB,SAAoB;IAEpB,+BAA+B;IAC/B,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QACzD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC;IACnD,MAAM,UAAU,GAAG,kBAAkB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC;IAC3F,MAAM,QAAQ,GAAG,kBAAkB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAE1G,IAAI,UAAU,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,GAAG,UAAU,EAAE,CAAC;QAC9E,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,cAAc,GAAG,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACjE,OAAO,iBAAS,CAAC,eAAe,CAAC,IAAA,gCAAoB,EAAC,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,kBAAkB,CACvB,SAAwB,EACxB,UAAsC,EACtC,YAAoB,EACpB,aAA6B;IAE7B,IAAI,KAAK,GAAG,YAAY,CAAC;IAEzB,IAAI,UAAU,EAAE,CAAC;QACb,MAAM,OAAO,GAAG,SAAS,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC;QAC/D,IAAI,CAAC,IAAA,uBAAe,EAAC,OAAO,CAAC,IAAI,CAAC,iBAAS,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAA,yBAAa,EAAC,OAAO,CAAC,EAAE,CAAC;YAC/F,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,YAAsB,CAAC;QAC5C,MAAM,cAAc,GAAG,aAAa,CAAC,SAAS,CAC1C,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,IAAI,IAAA,sBAAc,EAAC,OAAO,CAAC,IAAI,CAAC,CACnE,CAAC;QAEF,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACZ,KAAK,GAAG,aAAa,CAAC,MAAM,GAAG,KAAK,CAAC;YACrC,IAAI,cAAc,IAAI,CAAC,IAAI,KAAK,IAAI,cAAc,EAAE,CAAC;gBACjD,OAAO,SAAS,CAAC;YACrB,CAAC;iBAAM,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACnB,OAAO,CAAC,CAAC;YACb,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,cAAc,IAAI,CAAC,IAAI,KAAK,GAAG,cAAc,EAAE,CAAC;gBAChD,OAAO,SAAS,CAAC;YACrB,CAAC;iBAAM,IAAI,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC;gBACtC,OAAO,aAAa,CAAC,MAAM,CAAC;YAChC,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACjB,CAAC"}
|