@zzzen/pyright-internal 1.2.0-dev.20220925 → 1.2.0-dev.20221009
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/analyzerFileInfo.d.ts +1 -1
- package/dist/analyzer/analyzerFileInfo.js +1 -1
- package/dist/analyzer/analyzerFileInfo.js.map +1 -1
- package/dist/analyzer/binder.js +41 -24
- package/dist/analyzer/binder.js.map +1 -1
- package/dist/analyzer/cacheManager.d.ts +14 -0
- package/dist/analyzer/cacheManager.js +63 -0
- package/dist/analyzer/cacheManager.js.map +1 -0
- package/dist/analyzer/checker.d.ts +1 -0
- package/dist/analyzer/checker.js +17 -0
- package/dist/analyzer/checker.js.map +1 -1
- package/dist/analyzer/codeFlowEngine.d.ts +8 -1
- package/dist/analyzer/codeFlowEngine.js +106 -85
- package/dist/analyzer/codeFlowEngine.js.map +1 -1
- package/dist/analyzer/constraintSolver.js +1 -1
- package/dist/analyzer/constraintSolver.js.map +1 -1
- package/dist/analyzer/packageTypeVerifier.js +4 -4
- package/dist/analyzer/packageTypeVerifier.js.map +1 -1
- package/dist/analyzer/program.d.ts +5 -0
- package/dist/analyzer/program.js +62 -44
- package/dist/analyzer/program.js.map +1 -1
- package/dist/analyzer/service.js +1 -0
- package/dist/analyzer/service.js.map +1 -1
- package/dist/analyzer/sourceFile.d.ts +1 -1
- package/dist/analyzer/sourceFile.js +5 -5
- package/dist/analyzer/sourceFile.js.map +1 -1
- package/dist/analyzer/typeEvaluator.js +58 -40
- package/dist/analyzer/typeEvaluator.js.map +1 -1
- package/dist/analyzer/typeEvaluatorTypes.d.ts +5 -0
- package/dist/analyzer/typeEvaluatorTypes.js.map +1 -1
- package/dist/analyzer/typeStubWriter.js +6 -6
- package/dist/analyzer/typeStubWriter.js.map +1 -1
- package/dist/analyzer/typeUtils.d.ts +1 -1
- package/dist/analyzer/typeUtils.js +4 -31
- package/dist/analyzer/typeUtils.js.map +1 -1
- package/dist/analyzer/typedDicts.js +6 -6
- package/dist/analyzer/typedDicts.js.map +1 -1
- package/dist/analyzer/types.js +1 -1
- package/dist/analyzer/types.js.map +1 -1
- package/dist/commands/commandController.d.ts +1 -0
- package/dist/commands/commandController.js +5 -0
- package/dist/commands/commandController.js.map +1 -1
- package/dist/commands/commands.d.ts +7 -1
- package/dist/commands/commands.js +6 -0
- package/dist/commands/commands.js.map +1 -1
- package/dist/commands/dumpFileDebugInfoCommand.d.ts +8 -0
- package/dist/commands/dumpFileDebugInfoCommand.js +983 -0
- package/dist/commands/dumpFileDebugInfoCommand.js.map +1 -0
- package/dist/languageServerBase.js +6 -6
- package/dist/languageServerBase.js.map +1 -1
- package/dist/parser/parser.d.ts +2 -2
- package/dist/parser/parser.js +40 -29
- package/dist/parser/parser.js.map +1 -1
- package/dist/tests/parser.test.js +22 -0
- package/dist/tests/parser.test.js.map +1 -1
- package/dist/tests/testUtils.js +4 -2
- package/dist/tests/testUtils.js.map +1 -1
- package/dist/tests/typeEvaluator2.test.js +4 -0
- package/dist/tests/typeEvaluator2.test.js.map +1 -1
- package/dist/tests/typeEvaluator3.test.js +16 -0
- package/dist/tests/typeEvaluator3.test.js.map +1 -1
- package/dist/workspaceMap.js +2 -0
- package/dist/workspaceMap.js.map +1 -1
- package/package.json +1 -1
package/dist/analyzer/checker.js
CHANGED
@@ -203,6 +203,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
|
|
203
203
|
this._validateFinalClassNotAbstract(classTypeResult.classType, node);
|
204
204
|
this._validateDataClassPostInit(classTypeResult.classType, node);
|
205
205
|
this._validateProtocolCompatibility(classTypeResult.classType, node);
|
206
|
+
this._validateInitSubclassArgs(classTypeResult.classType, node);
|
206
207
|
this._reportDuplicateEnumMembers(classTypeResult.classType);
|
207
208
|
if (types_1.ClassType.isTypedDictClass(classTypeResult.classType)) {
|
208
209
|
this._validateTypedDictClassSuite(node.suite);
|
@@ -2720,6 +2721,22 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
|
|
2720
2721
|
}
|
2721
2722
|
});
|
2722
2723
|
}
|
2724
|
+
_validateInitSubclassArgs(classType, node) {
|
2725
|
+
const argList = [];
|
2726
|
+
// Collect arguments that will be passed to the `__init_subclass__`
|
2727
|
+
// method described in PEP 487.
|
2728
|
+
node.arguments.forEach((arg) => {
|
2729
|
+
if (arg.name && arg.name.value !== 'metaclass') {
|
2730
|
+
argList.push({
|
2731
|
+
argumentCategory: 0 /* Simple */,
|
2732
|
+
node: arg,
|
2733
|
+
name: arg.name,
|
2734
|
+
valueExpression: arg.valueExpression,
|
2735
|
+
});
|
2736
|
+
}
|
2737
|
+
});
|
2738
|
+
this._evaluator.validateInitSubclassArgs(node, classType, argList);
|
2739
|
+
}
|
2723
2740
|
// If a non-protocol class explicitly inherits from a protocol class, this method
|
2724
2741
|
// verifies that any class or instance variables declared but not assigned
|
2725
2742
|
// in the protocol class are implemented in the subclass. It also checks that any
|