@zzzen/pyright-internal 1.2.0-dev.20230416 → 1.2.0-dev.20230423

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 (90) hide show
  1. package/dist/analyzer/binder.js +1 -3
  2. package/dist/analyzer/binder.js.map +1 -1
  3. package/dist/analyzer/codeFlowEngine.js +17 -0
  4. package/dist/analyzer/codeFlowEngine.js.map +1 -1
  5. package/dist/analyzer/commentUtils.d.ts +1 -1
  6. package/dist/analyzer/commentUtils.js +18 -3
  7. package/dist/analyzer/commentUtils.js.map +1 -1
  8. package/dist/analyzer/docStringConversion.js +2 -3
  9. package/dist/analyzer/docStringConversion.js.map +1 -1
  10. package/dist/analyzer/patternMatching.d.ts +6 -2
  11. package/dist/analyzer/patternMatching.js +108 -2
  12. package/dist/analyzer/patternMatching.js.map +1 -1
  13. package/dist/analyzer/program.d.ts +9 -7
  14. package/dist/analyzer/program.js +29 -24
  15. package/dist/analyzer/program.js.map +1 -1
  16. package/dist/analyzer/service.d.ts +2 -2
  17. package/dist/analyzer/service.js +5 -5
  18. package/dist/analyzer/service.js.map +1 -1
  19. package/dist/analyzer/sourceFile.d.ts +1 -3
  20. package/dist/analyzer/sourceFile.js +1 -9
  21. package/dist/analyzer/sourceFile.js.map +1 -1
  22. package/dist/analyzer/typeEvaluator.js +44 -12
  23. package/dist/analyzer/typeEvaluator.js.map +1 -1
  24. package/dist/analyzer/typeEvaluatorTypes.d.ts +0 -1
  25. package/dist/analyzer/typeEvaluatorTypes.js +0 -2
  26. package/dist/analyzer/typeEvaluatorTypes.js.map +1 -1
  27. package/dist/analyzer/typeGuards.d.ts +2 -0
  28. package/dist/analyzer/typeGuards.js +172 -175
  29. package/dist/analyzer/typeGuards.js.map +1 -1
  30. package/dist/analyzer/typeUtils.js +9 -9
  31. package/dist/analyzer/typeUtils.js.map +1 -1
  32. package/dist/analyzer/types.js +10 -2
  33. package/dist/analyzer/types.js.map +1 -1
  34. package/dist/common/extensibility.d.ts +7 -4
  35. package/dist/common/extensibility.js.map +1 -1
  36. package/dist/languageServerBase.js +3 -2
  37. package/dist/languageServerBase.js.map +1 -1
  38. package/dist/languageService/callHierarchyProvider.js +17 -4
  39. package/dist/languageService/callHierarchyProvider.js.map +1 -1
  40. package/dist/languageService/completionProvider.js +119 -10
  41. package/dist/languageService/completionProvider.js.map +1 -1
  42. package/dist/languageService/hoverProvider.d.ts +28 -28
  43. package/dist/languageService/hoverProvider.js +142 -120
  44. package/dist/languageService/hoverProvider.js.map +1 -1
  45. package/dist/languageService/importAdder.d.ts +13 -2
  46. package/dist/languageService/importAdder.js +73 -26
  47. package/dist/languageService/importAdder.js.map +1 -1
  48. package/dist/languageService/indentationUtils.js +6 -1
  49. package/dist/languageService/indentationUtils.js.map +1 -1
  50. package/dist/localization/localize.d.ts +2 -0
  51. package/dist/localization/localize.js +2 -0
  52. package/dist/localization/localize.js.map +1 -1
  53. package/dist/localization/package.nls.en-us.json +2 -0
  54. package/dist/tests/checker.test.js +1 -1
  55. package/dist/tests/completions.test.js +173 -0
  56. package/dist/tests/completions.test.js.map +1 -1
  57. package/dist/tests/docStringConversion.test.js +11 -1
  58. package/dist/tests/docStringConversion.test.js.map +1 -1
  59. package/dist/tests/fourslash/completions.override2.fourslash.js +15 -0
  60. package/dist/tests/fourslash/completions.override2.fourslash.js.map +1 -1
  61. package/dist/tests/fourslash/fourslash.d.ts +11 -1
  62. package/dist/tests/fourslash/showcallhierarchy.incomingCalls.aliasedFunction.fourslash.js +5 -6
  63. package/dist/tests/fourslash/showcallhierarchy.incomingCalls.aliasedFunction.fourslash.js.map +1 -1
  64. package/dist/tests/fourslash/showcallhierarchy.incomingCalls.aliasedVariable.fourslash.js +1 -4
  65. package/dist/tests/fourslash/showcallhierarchy.incomingCalls.aliasedVariable.fourslash.js.map +1 -1
  66. package/dist/tests/fourslash/showcallhierarchy.incomingCalls.function.fourslash.js +10 -9
  67. package/dist/tests/fourslash/showcallhierarchy.incomingCalls.function.fourslash.js.map +1 -1
  68. package/dist/tests/fourslash/showcallhierarchy.outgoingCalls.aliasedFunction1.fourslash.d.ts +1 -0
  69. package/dist/tests/fourslash/showcallhierarchy.outgoingCalls.aliasedFunction1.fourslash.js +54 -0
  70. package/dist/tests/fourslash/showcallhierarchy.outgoingCalls.aliasedFunction1.fourslash.js.map +1 -0
  71. package/dist/tests/fourslash/showcallhierarchy.outgoingCalls.aliasedFunction2.fourslash.d.ts +1 -0
  72. package/dist/tests/fourslash/showcallhierarchy.outgoingCalls.aliasedFunction2.fourslash.js +46 -0
  73. package/dist/tests/fourslash/showcallhierarchy.outgoingCalls.aliasedFunction2.fourslash.js.map +1 -0
  74. package/dist/tests/fourslash/showcallhierarchy.outgoingCalls.function.fourslash.d.ts +1 -0
  75. package/dist/tests/fourslash/showcallhierarchy.outgoingCalls.function.fourslash.js +39 -0
  76. package/dist/tests/fourslash/showcallhierarchy.outgoingCalls.function.fourslash.js.map +1 -0
  77. package/dist/tests/harness/fourslash/testState.d.ts +6 -1
  78. package/dist/tests/harness/fourslash/testState.js +38 -6
  79. package/dist/tests/harness/fourslash/testState.js.map +1 -1
  80. package/dist/tests/importAdder.test.js +69 -1
  81. package/dist/tests/importAdder.test.js.map +1 -1
  82. package/dist/tests/indentationUtils.ptvs.test.js +2 -2
  83. package/dist/tests/indentationUtils.ptvs.test.js.map +1 -1
  84. package/dist/tests/indentationUtils.test.js +18 -0
  85. package/dist/tests/indentationUtils.test.js.map +1 -1
  86. package/dist/tests/typeEvaluator3.test.js +6 -0
  87. package/dist/tests/typeEvaluator3.test.js.map +1 -1
  88. package/dist/tests/typeEvaluator4.test.js +5 -1
  89. package/dist/tests/typeEvaluator4.test.js.map +1 -1
  90. package/package.json +1 -1
@@ -26,7 +26,6 @@ export declare const enum EvaluatorFlags {
26
26
  DisallowTypeVarTuple = 64,
27
27
  ExpectingType = 128,
28
28
  ExpectingTypeAnnotation = 256,
29
- ConvertEllipsisToUnknown = 512,
30
29
  AllowGenericClassType = 1024,
31
30
  DisallowTypeVarsWithScopeId = 2048,
32
31
  DisallowTypeVarsWithoutScopeId = 4096,
@@ -38,8 +38,6 @@ var EvaluatorFlags;
38
38
  // allowed. If this flag is set, illegal type expressions are
39
39
  // flagged as errors.
40
40
  EvaluatorFlags[EvaluatorFlags["ExpectingTypeAnnotation"] = 256] = "ExpectingTypeAnnotation";
41
- // Interpret an ellipsis type annotation to mean "Unknown".
42
- EvaluatorFlags[EvaluatorFlags["ConvertEllipsisToUnknown"] = 512] = "ConvertEllipsisToUnknown";
43
41
  // The Generic class type is allowed in this context. It is
44
42
  // normally not allowed if ExpectingType is set.
45
43
  EvaluatorFlags[EvaluatorFlags["AllowGenericClassType"] = 1024] = "AllowGenericClassType";
@@ -1 +1 @@
1
- {"version":3,"file":"typeEvaluatorTypes.js","sourceRoot":"","sources":["../../../src/analyzer/typeEvaluatorTypes.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AA6CH,gEAAgE;AAChE,kDAAkD;AACrC,QAAA,0BAA0B,GAAG,EAAE,CAAC;AAE7C,IAAkB,cAsFjB;AAtFD,WAAkB,cAAc;IAC5B,mDAAQ,CAAA;IAER,uDAAuD;IACvD,mFAA6B,CAAA;IAE7B,0DAA0D;IAC1D,gEAAgE;IAChE,SAAS;IACT,yEAAwB,CAAA;IAExB,yDAAyD;IACzD,uFAA+B,CAAA;IAE/B,kCAAkC;IAClC,iGAAoC,CAAA;IAEpC,0CAA0C;IAC1C,sEAAsB,CAAA;IAEtB,6CAA6C;IAC7C,8EAA0B,CAAA;IAE1B,gDAAgD;IAChD,oFAA6B,CAAA;IAE7B,qDAAqD;IACrD,4BAA4B;IAC5B,uEAAsB,CAAA;IAEtB,gEAAgE;IAChE,6DAA6D;IAC7D,qBAAqB;IACrB,2FAAgC,CAAA;IAEhC,2DAA2D;IAC3D,6FAAiC,CAAA;IAEjC,2DAA2D;IAC3D,gDAAgD;IAChD,wFAA+B,CAAA;IAE/B,8DAA8D;IAC9D,0BAA0B;IAC1B,oGAAqC,CAAA;IAErC,0DAA0D;IAC1D,0BAA0B;IAC1B,0GAAwC,CAAA;IAExC,yDAAyD;IACzD,2DAA2D;IAC3D,mCAAmC;IACnC,gHAA2C,CAAA;IAE3C,yDAAyD;IACzD,6DAA6D;IAC7D,uDAAuD;IACvD,iHAA2C,CAAA;IAE3C,mDAAmD;IACnD,2FAAgC,CAAA;IAEhC,6CAA6C;IAC7C,gFAA0B,CAAA;IAE1B,mEAAmE;IACnE,wFAA8B,CAAA;IAE9B,iEAAiE;IACjE,iCAAiC;IACjC,4FAAgC,CAAA;IAEhC,wDAAwD;IACxD,2EAAuB,CAAA;IAEvB,uDAAuD;IACvD,iHAA0C,CAAA;IAE1C,6DAA6D;IAC7D,2DAA2D;IAC3D,oDAAoD;IACpD,6GAAwC,CAAA;IAExC,yCAAyC;IACzC,6FAAgC,CAAA;AACpC,CAAC,EAtFiB,cAAc,GAAd,sBAAc,KAAd,sBAAc,QAsF/B"}
1
+ {"version":3,"file":"typeEvaluatorTypes.js","sourceRoot":"","sources":["../../../src/analyzer/typeEvaluatorTypes.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AA6CH,gEAAgE;AAChE,kDAAkD;AACrC,QAAA,0BAA0B,GAAG,EAAE,CAAC;AAE7C,IAAkB,cAmFjB;AAnFD,WAAkB,cAAc;IAC5B,mDAAQ,CAAA;IAER,uDAAuD;IACvD,mFAA6B,CAAA;IAE7B,0DAA0D;IAC1D,gEAAgE;IAChE,SAAS;IACT,yEAAwB,CAAA;IAExB,yDAAyD;IACzD,uFAA+B,CAAA;IAE/B,kCAAkC;IAClC,iGAAoC,CAAA;IAEpC,0CAA0C;IAC1C,sEAAsB,CAAA;IAEtB,6CAA6C;IAC7C,8EAA0B,CAAA;IAE1B,gDAAgD;IAChD,oFAA6B,CAAA;IAE7B,qDAAqD;IACrD,4BAA4B;IAC5B,uEAAsB,CAAA;IAEtB,gEAAgE;IAChE,6DAA6D;IAC7D,qBAAqB;IACrB,2FAAgC,CAAA;IAEhC,2DAA2D;IAC3D,gDAAgD;IAChD,wFAA+B,CAAA;IAE/B,8DAA8D;IAC9D,0BAA0B;IAC1B,oGAAqC,CAAA;IAErC,0DAA0D;IAC1D,0BAA0B;IAC1B,0GAAwC,CAAA;IAExC,yDAAyD;IACzD,2DAA2D;IAC3D,mCAAmC;IACnC,gHAA2C,CAAA;IAE3C,yDAAyD;IACzD,6DAA6D;IAC7D,uDAAuD;IACvD,iHAA2C,CAAA;IAE3C,mDAAmD;IACnD,2FAAgC,CAAA;IAEhC,6CAA6C;IAC7C,gFAA0B,CAAA;IAE1B,mEAAmE;IACnE,wFAA8B,CAAA;IAE9B,iEAAiE;IACjE,iCAAiC;IACjC,4FAAgC,CAAA;IAEhC,wDAAwD;IACxD,2EAAuB,CAAA;IAEvB,uDAAuD;IACvD,iHAA0C,CAAA;IAE1C,6DAA6D;IAC7D,2DAA2D;IAC3D,oDAAoD;IACpD,6GAAwC,CAAA;IAExC,yCAAyC;IACzC,6FAAgC,CAAA;AACpC,CAAC,EAnFiB,cAAc,GAAd,sBAAc,KAAd,sBAAc,QAmF/B"}
@@ -11,4 +11,6 @@ export declare function isIsinstanceFilterSuperclass(evaluator: TypeEvaluator, v
11
11
  export declare function isIsinstanceFilterSubclass(evaluator: TypeEvaluator, varType: ClassType, filterType: Type, concreteFilterType: ClassType, isInstanceCheck: boolean): boolean;
12
12
  export declare function getElementTypeForContainerNarrowing(containerType: Type): Type | undefined;
13
13
  export declare function narrowTypeForContainerElementType(evaluator: TypeEvaluator, referenceType: Type, elementType: Type): Type;
14
+ export declare function narrowTypeForDiscriminatedDictEntryComparison(evaluator: TypeEvaluator, referenceType: Type, indexLiteralType: ClassType, literalType: ClassType, isPositiveTest: boolean): Type;
15
+ export declare function narrowTypeForDiscriminatedTupleComparison(evaluator: TypeEvaluator, referenceType: Type, indexLiteralType: ClassType, literalType: ClassType, isPositiveTest: boolean): Type;
14
16
  export declare function enumerateLiteralsForType(evaluator: TypeEvaluator, type: ClassType): ClassType[] | undefined;