@zzzen/pyright-internal 1.2.0-dev.20260920 → 1.2.0-dev.20260927

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.
Files changed (150) hide show
  1. package/dist/analyzer/checker.d.ts +2 -1
  2. package/dist/analyzer/checker.js +15 -1
  3. package/dist/analyzer/checker.js.map +1 -1
  4. package/dist/analyzer/codeFlowEngine.js +9 -3
  5. package/dist/analyzer/codeFlowEngine.js.map +1 -1
  6. package/dist/analyzer/operations.js +1 -1
  7. package/dist/analyzer/operations.js.map +1 -1
  8. package/dist/analyzer/overloadResult.d.ts +15 -0
  9. package/dist/analyzer/overloadResult.js +233 -0
  10. package/dist/analyzer/overloadResult.js.map +1 -0
  11. package/dist/analyzer/overloadResultAdmission.d.ts +20 -0
  12. package/dist/analyzer/overloadResultAdmission.js +448 -0
  13. package/dist/analyzer/overloadResultAdmission.js.map +1 -0
  14. package/dist/analyzer/overloadResultController.d.ts +227 -0
  15. package/dist/analyzer/overloadResultController.js +904 -0
  16. package/dist/analyzer/overloadResultController.js.map +1 -0
  17. package/dist/analyzer/overloadResultSelector.d.ts +24 -0
  18. package/dist/analyzer/overloadResultSelector.js +131 -0
  19. package/dist/analyzer/overloadResultSelector.js.map +1 -0
  20. package/dist/analyzer/parseTreeUtils.d.ts +1 -0
  21. package/dist/analyzer/parseTreeUtils.js +4 -0
  22. package/dist/analyzer/parseTreeUtils.js.map +1 -1
  23. package/dist/analyzer/program.d.ts +13 -2
  24. package/dist/analyzer/program.js +98 -46
  25. package/dist/analyzer/program.js.map +1 -1
  26. package/dist/analyzer/protocols.d.ts +1 -0
  27. package/dist/analyzer/protocols.js +286 -6
  28. package/dist/analyzer/protocols.js.map +1 -1
  29. package/dist/analyzer/sourceFile.d.ts +6 -2
  30. package/dist/analyzer/sourceFile.js +9 -3
  31. package/dist/analyzer/sourceFile.js.map +1 -1
  32. package/dist/analyzer/tracePrinter.js +4 -0
  33. package/dist/analyzer/tracePrinter.js.map +1 -1
  34. package/dist/analyzer/typeCacheUtils.d.ts +4 -0
  35. package/dist/analyzer/typeCacheUtils.js +36 -0
  36. package/dist/analyzer/typeCacheUtils.js.map +1 -1
  37. package/dist/analyzer/typeComplexity.js +2 -0
  38. package/dist/analyzer/typeComplexity.js.map +1 -1
  39. package/dist/analyzer/typeEvaluator.d.ts +10 -1
  40. package/dist/analyzer/typeEvaluator.js +351 -11
  41. package/dist/analyzer/typeEvaluator.js.map +1 -1
  42. package/dist/analyzer/typeEvaluatorTypes.d.ts +30 -1
  43. package/dist/analyzer/typeEvaluatorTypes.js.map +1 -1
  44. package/dist/analyzer/typeGuards.d.ts +1 -1
  45. package/dist/analyzer/typePrinter.js +8 -0
  46. package/dist/analyzer/typePrinter.js.map +1 -1
  47. package/dist/analyzer/typeUtils.d.ts +1 -1
  48. package/dist/analyzer/typeUtils.js +29 -26
  49. package/dist/analyzer/typeUtils.js.map +1 -1
  50. package/dist/analyzer/typeWalker.d.ts +2 -1
  51. package/dist/analyzer/typeWalker.js +12 -0
  52. package/dist/analyzer/typeWalker.js.map +1 -1
  53. package/dist/analyzer/typedDicts.js +1 -0
  54. package/dist/analyzer/typedDicts.js.map +1 -1
  55. package/dist/analyzer/types.d.ts +16 -2
  56. package/dist/analyzer/types.js +94 -2
  57. package/dist/analyzer/types.js.map +1 -1
  58. package/dist/common/configOptions.d.ts +1 -0
  59. package/dist/common/configOptions.js +2 -0
  60. package/dist/common/configOptions.js.map +1 -1
  61. package/dist/languageServerBase.js +2 -2
  62. package/dist/languageServerBase.js.map +1 -1
  63. package/dist/languageService/callHierarchyProvider.js +3 -2
  64. package/dist/languageService/callHierarchyProvider.js.map +1 -1
  65. package/dist/languageService/completionProvider.js +4 -1
  66. package/dist/languageService/completionProvider.js.map +1 -1
  67. package/dist/tests/config.test.js +48 -0
  68. package/dist/tests/config.test.js.map +1 -1
  69. package/dist/tests/fourslash/showcallhierarchy.incomingCalls.aliasedFunction.fourslash.js +10 -6
  70. package/dist/tests/fourslash/showcallhierarchy.incomingCalls.aliasedFunction.fourslash.js.map +1 -1
  71. package/dist/tests/fourslash/showcallhierarchy.incomingCalls.function.fourslash.js +16 -10
  72. package/dist/tests/fourslash/showcallhierarchy.incomingCalls.function.fourslash.js.map +1 -1
  73. package/dist/tests/harness/fourslash/testState.js +10 -9
  74. package/dist/tests/harness/fourslash/testState.js.map +1 -1
  75. package/dist/tests/languageServer.test.js +129 -0
  76. package/dist/tests/languageServer.test.js.map +1 -1
  77. package/dist/tests/overloadResult.test.d.ts +1 -0
  78. package/dist/tests/overloadResult.test.js +182 -0
  79. package/dist/tests/overloadResult.test.js.map +1 -0
  80. package/dist/tests/overloadResultController.test.d.ts +1 -0
  81. package/dist/tests/overloadResultController.test.js +2146 -0
  82. package/dist/tests/overloadResultController.test.js.map +1 -0
  83. package/dist/tests/protocolRequirement.test.d.ts +1 -0
  84. package/dist/tests/protocolRequirement.test.js +122 -0
  85. package/dist/tests/protocolRequirement.test.js.map +1 -0
  86. package/dist/tests/protocolRequirementAdversarial.test.d.ts +1 -0
  87. package/dist/tests/protocolRequirementAdversarial.test.js +92 -0
  88. package/dist/tests/protocolRequirementAdversarial.test.js.map +1 -0
  89. package/dist/tests/protocolRequirementBoundary.test.d.ts +1 -0
  90. package/dist/tests/protocolRequirementBoundary.test.js +119 -0
  91. package/dist/tests/protocolRequirementBoundary.test.js.map +1 -0
  92. package/dist/tests/protocolRequirementComplexity.test.d.ts +1 -0
  93. package/dist/tests/protocolRequirementComplexity.test.js +159 -0
  94. package/dist/tests/protocolRequirementComplexity.test.js.map +1 -0
  95. package/dist/tests/protocolRequirementCycles.test.d.ts +1 -0
  96. package/dist/tests/protocolRequirementCycles.test.js +160 -0
  97. package/dist/tests/protocolRequirementCycles.test.js.map +1 -0
  98. package/dist/tests/protocolRequirementGeneral.test.d.ts +1 -0
  99. package/dist/tests/protocolRequirementGeneral.test.js +120 -0
  100. package/dist/tests/protocolRequirementGeneral.test.js.map +1 -0
  101. package/dist/tests/protocolRequirementInstances.test.d.ts +1 -0
  102. package/dist/tests/protocolRequirementInstances.test.js +164 -0
  103. package/dist/tests/protocolRequirementInstances.test.js.map +1 -0
  104. package/dist/tests/protocolRequirementListStub.test.d.ts +1 -0
  105. package/dist/tests/protocolRequirementListStub.test.js +244 -0
  106. package/dist/tests/protocolRequirementListStub.test.js.map +1 -0
  107. package/dist/tests/protocolRequirementPopulated.test.d.ts +1 -0
  108. package/dist/tests/protocolRequirementPopulated.test.js +172 -0
  109. package/dist/tests/protocolRequirementPopulated.test.js.map +1 -0
  110. package/dist/tests/protocolRequirementRecursive.test.d.ts +1 -0
  111. package/dist/tests/protocolRequirementRecursive.test.js +118 -0
  112. package/dist/tests/protocolRequirementRecursive.test.js.map +1 -0
  113. package/dist/tests/protocolRequirementSpeculative.test.d.ts +1 -0
  114. package/dist/tests/protocolRequirementSpeculative.test.js +200 -0
  115. package/dist/tests/protocolRequirementSpeculative.test.js.map +1 -0
  116. package/dist/tests/protocolRequirementState.test.d.ts +1 -0
  117. package/dist/tests/protocolRequirementState.test.js +161 -0
  118. package/dist/tests/protocolRequirementState.test.js.map +1 -0
  119. package/dist/tests/testState.test.js +64 -0
  120. package/dist/tests/testState.test.js.map +1 -1
  121. package/dist/tests/testUtils.d.ts +6 -1
  122. package/dist/tests/testUtils.js +11 -6
  123. package/dist/tests/testUtils.js.map +1 -1
  124. package/dist/tests/typeCacheIsolation.test.d.ts +1 -0
  125. package/dist/tests/typeCacheIsolation.test.js +109 -0
  126. package/dist/tests/typeCacheIsolation.test.js.map +1 -0
  127. package/dist/tests/typeCacheUtils.test.js +59 -0
  128. package/dist/tests/typeCacheUtils.test.js.map +1 -1
  129. package/dist/tests/typeEvaluator1.test.js +5 -1
  130. package/dist/tests/typeEvaluator1.test.js.map +1 -1
  131. package/dist/tests/typeEvaluator4.test.js +6 -2
  132. package/dist/tests/typeEvaluator4.test.js.map +1 -1
  133. package/dist/tests/typeEvaluator5.test.js +25 -0
  134. package/dist/tests/typeEvaluator5.test.js.map +1 -1
  135. package/dist/tests/typeEvaluator6.test.js +7 -23
  136. package/dist/tests/typeEvaluator6.test.js.map +1 -1
  137. package/dist/tests/typeEvaluator7.test.js +237 -2
  138. package/dist/tests/typeEvaluator7.test.js.map +1 -1
  139. package/dist/tests/typeServer/typeServer.inProc.test.js +86 -0
  140. package/dist/tests/typeServer/typeServer.inProc.test.js.map +1 -1
  141. package/dist/tests/typeUtils.test.js +36 -0
  142. package/dist/tests/typeUtils.test.js.map +1 -1
  143. package/dist/trace/nativeAdapter.js +1 -5
  144. package/dist/trace/nativeAdapter.js.map +1 -1
  145. package/dist/typeServer/protocol/typeServerProtocol.d.ts +8 -2
  146. package/dist/typeServer/protocol/typeServerProtocol.js +1 -0
  147. package/dist/typeServer/protocol/typeServerProtocol.js.map +1 -1
  148. package/dist/typeServer/typeServerConversionUtils.js +9 -0
  149. package/dist/typeServer/typeServerConversionUtils.js.map +1 -1
  150. package/package.json +1 -1
@@ -8,6 +8,7 @@ export declare class Checker extends ParseTreeWalker {
8
8
  private _importResolver;
9
9
  private _evaluator;
10
10
  private _dependentFiles;
11
+ private _walkOperation?;
11
12
  private readonly _moduleNode;
12
13
  private readonly _fileInfo;
13
14
  private readonly _nodeInfo;
@@ -15,7 +16,7 @@ export declare class Checker extends ParseTreeWalker {
15
16
  private _scopedNodes;
16
17
  private _typeParamLists;
17
18
  private _multipartImports;
18
- constructor(_importResolver: ImportResolver, _evaluator: TypeEvaluator, parseResults: ParserOutput, _dependentFiles: ParserOutput[] | undefined, nodeInfoReader: AnalyzerNodeInfo.AnalyzerNodeInfoReader);
19
+ constructor(_importResolver: ImportResolver, _evaluator: TypeEvaluator, parseResults: ParserOutput, _dependentFiles: ParserOutput[] | undefined, nodeInfoReader: AnalyzerNodeInfo.AnalyzerNodeInfoReader, _walkOperation?: ((node: ParseNode, callback: () => void) => void) | undefined);
19
20
  check(): void;
20
21
  walk(node: ParseNode): void;
21
22
  visitSuite(node: SuiteNode): boolean;
@@ -88,7 +88,7 @@ const typeUtils_1 = require("./typeUtils");
88
88
  // functions to be emitted.
89
89
  const isPrintCodeComplexityEnabled = false;
90
90
  class Checker extends parseTreeWalker_1.ParseTreeWalker {
91
- constructor(_importResolver, _evaluator, parseResults, _dependentFiles, nodeInfoReader) {
91
+ constructor(_importResolver, _evaluator, parseResults, _dependentFiles, nodeInfoReader, _walkOperation) {
92
92
  // Forward the reader to the base walker so the structural walk expands both tier-1
93
93
  // (parser-derived) and tier-2 (evaluator-discovered, e.g. `cast("Foo", v)`) string
94
94
  // annotations. The checker runs after type evaluation, so tier-2 annotations exist by
@@ -99,6 +99,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
99
99
  this._importResolver = _importResolver;
100
100
  this._evaluator = _evaluator;
101
101
  this._dependentFiles = _dependentFiles;
102
+ this._walkOperation = _walkOperation;
102
103
  this._isUnboundCheckSuppressed = false;
103
104
  // A list of all nodes that are defined within the module that
104
105
  // have their own scopes.
@@ -135,6 +136,19 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
135
136
  this._reportDuplicateImports();
136
137
  }
137
138
  walk(node) {
139
+ if (this._walkOperation) {
140
+ this._walkOperation(node, () => {
141
+ if (!this._nodeInfo.isCodeUnreachable(node)) {
142
+ super.walk(node);
143
+ }
144
+ else {
145
+ this._evaluator.suppressDiagnostics(node, () => {
146
+ super.walk(node);
147
+ });
148
+ }
149
+ });
150
+ return;
151
+ }
138
152
  if (!this._nodeInfo.isCodeUnreachable(node)) {
139
153
  super.walk(node);
140
154
  }