@zzzen/pyright-internal 1.2.0-dev.20221225 → 1.2.0-dev.20230101

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 (47) hide show
  1. package/dist/analyzer/binder.js +5 -3
  2. package/dist/analyzer/binder.js.map +1 -1
  3. package/dist/analyzer/codeFlowEngine.d.ts +16 -1
  4. package/dist/analyzer/codeFlowEngine.js +17 -9
  5. package/dist/analyzer/codeFlowEngine.js.map +1 -1
  6. package/dist/analyzer/constraintSolver.js +30 -31
  7. package/dist/analyzer/constraintSolver.js.map +1 -1
  8. package/dist/analyzer/patternMatching.js +3 -2
  9. package/dist/analyzer/patternMatching.js.map +1 -1
  10. package/dist/analyzer/program.js +11 -5
  11. package/dist/analyzer/program.js.map +1 -1
  12. package/dist/analyzer/sourceFile.js +1 -0
  13. package/dist/analyzer/sourceFile.js.map +1 -1
  14. package/dist/analyzer/typeCacheUtils.d.ts +28 -0
  15. package/dist/analyzer/{typeCache.js → typeCacheUtils.js} +8 -14
  16. package/dist/analyzer/typeCacheUtils.js.map +1 -0
  17. package/dist/analyzer/typeEvaluator.js +447 -281
  18. package/dist/analyzer/typeEvaluator.js.map +1 -1
  19. package/dist/analyzer/typeGuards.js +1 -2
  20. package/dist/analyzer/typeGuards.js.map +1 -1
  21. package/dist/analyzer/typeUtils.d.ts +12 -3
  22. package/dist/analyzer/typeUtils.js +283 -134
  23. package/dist/analyzer/typeUtils.js.map +1 -1
  24. package/dist/analyzer/typeVarContext.d.ts +2 -10
  25. package/dist/analyzer/typeVarContext.js +12 -31
  26. package/dist/analyzer/typeVarContext.js.map +1 -1
  27. package/dist/analyzer/types.d.ts +4 -12
  28. package/dist/analyzer/types.js +22 -22
  29. package/dist/analyzer/types.js.map +1 -1
  30. package/dist/commands/dumpFileDebugInfoCommand.js +2 -2
  31. package/dist/commands/dumpFileDebugInfoCommand.js.map +1 -1
  32. package/dist/localization/localize.d.ts +18 -3
  33. package/dist/localization/localize.js +7 -1
  34. package/dist/localization/localize.js.map +1 -1
  35. package/dist/localization/package.nls.en-us.json +7 -1
  36. package/dist/parser/parser.js +3 -1
  37. package/dist/parser/parser.js.map +1 -1
  38. package/dist/tests/typeEvaluator2.test.js +1 -1
  39. package/dist/tests/typeEvaluator3.test.js +5 -1
  40. package/dist/tests/typeEvaluator3.test.js.map +1 -1
  41. package/dist/tests/typeEvaluator4.test.js +4 -0
  42. package/dist/tests/typeEvaluator4.test.js.map +1 -1
  43. package/dist/tests/typeEvaluator5.test.js +49 -7
  44. package/dist/tests/typeEvaluator5.test.js.map +1 -1
  45. package/package.json +1 -1
  46. package/dist/analyzer/typeCache.d.ts +0 -40
  47. package/dist/analyzer/typeCache.js.map +0 -1
@@ -1,40 +0,0 @@
1
- import { ParseNode } from '../parser/parseNodes';
2
- import { Type } from './types';
3
- export declare type TypeCache = Map<number, CachedType | undefined>;
4
- export declare type CachedType = Type | IncompleteType;
5
- export interface IncompleteSubtypeInfo {
6
- type: Type;
7
- isIncomplete: boolean;
8
- isPending: boolean;
9
- evaluationCount: number;
10
- }
11
- export interface IncompleteType {
12
- isIncompleteType?: true;
13
- type: Type | undefined;
14
- incompleteSubtypes: IncompleteSubtypeInfo[];
15
- generationCount: number;
16
- isRecursionSentinel?: boolean;
17
- }
18
- export declare function isIncompleteType(cachedType: CachedType): cachedType is IncompleteType;
19
- interface TypeCacheEntry {
20
- cache: TypeCache;
21
- id: number;
22
- }
23
- interface SpeculativeContext {
24
- speculativeRootNode: ParseNode;
25
- entriesToUndo: TypeCacheEntry[];
26
- allowCacheRetention: boolean;
27
- }
28
- export declare class SpeculativeTypeTracker {
29
- private _speculativeContextStack;
30
- private _speculativeTypeCache;
31
- enterSpeculativeContext(speculativeRootNode: ParseNode, allowCacheRetention: boolean): void;
32
- leaveSpeculativeContext(): void;
33
- isSpeculative(node: ParseNode | undefined): boolean;
34
- trackEntry(cache: TypeCache, id: number): void;
35
- disableSpeculativeMode(): SpeculativeContext[];
36
- enableSpeculativeMode(stack: SpeculativeContext[]): void;
37
- addSpeculativeType(node: ParseNode, type: Type, expectedType: Type | undefined): void;
38
- getSpeculativeType(node: ParseNode, expectedType: Type | undefined): Type | undefined;
39
- }
40
- export {};
@@ -1 +0,0 @@
1
- {"version":3,"file":"typeCache.js","sourceRoot":"","sources":["../../../src/analyzer/typeCache.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;;;;;;;;;;;;;;;;;;;;AAEH,2CAAyC;AAEzC,iEAAmD;AACnD,mCAA2C;AAqC3C,wDAAwD;AACxD,SAAgB,gBAAgB,CAAC,UAAsB;IACnD,OAAO,CAAC,CAAE,UAA6B,CAAC,gBAAgB,CAAC;AAC7D,CAAC;AAFD,4CAEC;AAoBD,oEAAoE;AACpE,uEAAuE;AACvE,qEAAqE;AACrE,8DAA8D;AAC9D,wEAAwE;AACxE,sDAAsD;AACtD,MAAa,sBAAsB;IAAnC;QACY,6BAAwB,GAAyB,EAAE,CAAC;QACpD,0BAAqB,GAAG,IAAI,GAAG,EAAkC,CAAC;IAmG9E,CAAC;IAjGG,uBAAuB,CAAC,mBAA8B,EAAE,mBAA4B;QAChF,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;YAC/B,mBAAmB;YACnB,aAAa,EAAE,EAAE;YACjB,mBAAmB;SACtB,CAAC,CAAC;IACP,CAAC;IAED,uBAAuB;QACnB,IAAA,cAAM,EAAC,IAAI,CAAC,wBAAwB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,OAAO,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,EAAE,CAAC;QAEpD,mDAAmD;QACnD,qCAAqC;QACrC,OAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YACrC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACP,CAAC;IAED,aAAa,CAAC,IAA2B;QACrC,IAAI,IAAI,CAAC,wBAAwB,CAAC,MAAM,KAAK,CAAC,EAAE;YAC5C,OAAO,KAAK,CAAC;SAChB;QAED,IAAI,CAAC,IAAI,EAAE;YACP,OAAO,IAAI,CAAC;SACf;QAED,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE;YAChE,IAAI,cAAc,CAAC,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,EAAE;gBAClG,OAAO,IAAI,CAAC;aACf;SACJ;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,UAAU,CAAC,KAAgB,EAAE,EAAU;QACnC,MAAM,SAAS,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC;QACvD,IAAI,SAAS,GAAG,CAAC,EAAE;YACf,IAAI,CAAC,wBAAwB,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;gBAC5D,KAAK;gBACL,EAAE;aACL,CAAC,CAAC;SACN;IACL,CAAC;IAED,4DAA4D;IAC5D,8DAA8D;IAC9D,yDAAyD;IACzD,sBAAsB;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,wBAAwB,CAAC;QAC5C,IAAI,CAAC,wBAAwB,GAAG,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,qBAAqB,CAAC,KAA2B;QAC7C,IAAA,cAAM,EAAC,IAAI,CAAC,wBAAwB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;QACnD,IAAI,CAAC,wBAAwB,GAAG,KAAK,CAAC;IAC1C,CAAC;IAED,kBAAkB,CAAC,IAAe,EAAE,IAAU,EAAE,YAA8B;QAC1E,IAAA,cAAM,EAAC,IAAI,CAAC,wBAAwB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjD,IAAI,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE;YAC/E,OAAO;SACV;QAED,IAAI,YAAY,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3D,IAAI,CAAC,YAAY,EAAE;YACf,YAAY,GAAG,EAAE,CAAC;YAClB,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;SACzD;QACD,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;IAC9C,CAAC;IAED,kBAAkB,CAAC,IAAe,EAAE,YAA8B;QAC9D,IACI,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAC3C,cAAc,CAAC,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAC1E,EACH;YACE,MAAM,OAAO,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACxD,IAAI,OAAO,EAAE;gBACT,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE;oBACzB,IAAI,CAAC,YAAY,EAAE;wBACf,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE;4BACrB,OAAO,KAAK,CAAC,IAAI,CAAC;yBACrB;qBACJ;yBAAM,IAAI,KAAK,CAAC,YAAY,IAAI,IAAA,kBAAU,EAAC,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE;wBAC3E,OAAO,KAAK,CAAC,IAAI,CAAC;qBACrB;iBACJ;aACJ;SACJ;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;CACJ;AArGD,wDAqGC"}