microsoft/pyright
1
1
Fork 0
mirror of https://github.com/microsoft/pyright.git synced 2024-11-13 09:34:44 +03:00
Code Issues Projects Releases Wiki Activity

Added checks in type validator for metaclasses.

Browse Source
This commit is contained in:
Eric Traut 2020-09-29 16:43:17 -07:00
parent 7979c5d177
commit 9565833cc8
1 changed files with 37 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
packages/pyright-internal/src/analyzer/packageTypeVerifier.ts
View File

@ -893,6 +893,43 @@ export class PackageTypeVerifier {
}
});
// Add information for the metaclass.
if (type.details.effectiveMetaclass) {
if (!isClass(type.details.effectiveMetaclass)) {
diag.addMessage(`Type for metaclass is unknown`);
isKnown = false;
} else if (!ClassType.isBuiltIn(type.details.effectiveMetaclass)) {
const metaclassInfo = this._validateClassTypeIsCompletelyKnown(
type.details.effectiveMetaclass,
publicSymbolMap,
currentSymbol,
typeStack
);
const metaclassDiag = new DiagnosticAddendum();
let isMetaclassKnown = true;
if (!metaclassInfo.isFullyKnown) {
metaclassDiag.addAddendum(metaclassInfo.diag);
isMetaclassKnown = false;
}
metaclassInfo.classFields?.forEach((info) => {
if (!info.isFullyKnown) {
metaclassDiag.addAddendum(info.diag);
isMetaclassKnown = false;
}
});
if (!isMetaclassKnown) {
metaclassDiag.addMessage(
`Type of metaclass "${type.details.effectiveMetaclass.details.fullName}" is partially unknown`
);
diag.addAddendum(metaclassDiag);
isKnown = false;
}
}
}
// Add information for base classes.
type.details.baseClasses.forEach((baseClass, index) => {
const baseClassDiag = new DiagnosticAddendum();