@zzzen/pyright-internal 1.2.0-dev.20240630 → 1.2.0-dev.20240714

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 (170) hide show
  1. package/dist/analyzer/analyzerNodeInfo.js +74 -46
  2. package/dist/analyzer/analyzerNodeInfo.js.map +1 -1
  3. package/dist/analyzer/binder.js +507 -513
  4. package/dist/analyzer/binder.js.map +1 -1
  5. package/dist/analyzer/checker.js +652 -633
  6. package/dist/analyzer/checker.js.map +1 -1
  7. package/dist/analyzer/codeFlowEngine.d.ts +5 -3
  8. package/dist/analyzer/codeFlowEngine.js +143 -122
  9. package/dist/analyzer/codeFlowEngine.js.map +1 -1
  10. package/dist/analyzer/codeFlowTypes.js +30 -28
  11. package/dist/analyzer/codeFlowTypes.js.map +1 -1
  12. package/dist/analyzer/constraintSolver.d.ts +1 -1
  13. package/dist/analyzer/constraintSolver.js +71 -67
  14. package/dist/analyzer/constraintSolver.js.map +1 -1
  15. package/dist/analyzer/constructorTransform.js +22 -22
  16. package/dist/analyzer/constructorTransform.js.map +1 -1
  17. package/dist/analyzer/constructors.js +85 -77
  18. package/dist/analyzer/constructors.js.map +1 -1
  19. package/dist/analyzer/dataClasses.js +113 -176
  20. package/dist/analyzer/dataClasses.js.map +1 -1
  21. package/dist/analyzer/declaration.d.ts +1 -1
  22. package/dist/analyzer/declarationUtils.js +14 -15
  23. package/dist/analyzer/declarationUtils.js.map +1 -1
  24. package/dist/analyzer/decorators.js +85 -85
  25. package/dist/analyzer/decorators.js.map +1 -1
  26. package/dist/analyzer/enums.js +71 -57
  27. package/dist/analyzer/enums.js.map +1 -1
  28. package/dist/analyzer/functionTransform.js +8 -18
  29. package/dist/analyzer/functionTransform.js.map +1 -1
  30. package/dist/analyzer/importResolver.d.ts +2 -1
  31. package/dist/analyzer/importResolver.js +40 -29
  32. package/dist/analyzer/importResolver.js.map +1 -1
  33. package/dist/analyzer/importStatementUtils.js +27 -27
  34. package/dist/analyzer/importStatementUtils.js.map +1 -1
  35. package/dist/analyzer/namedTuples.js +33 -59
  36. package/dist/analyzer/namedTuples.js.map +1 -1
  37. package/dist/analyzer/operations.d.ts +4 -4
  38. package/dist/analyzer/operations.js +70 -70
  39. package/dist/analyzer/operations.js.map +1 -1
  40. package/dist/analyzer/packageTypeVerifier.js +66 -62
  41. package/dist/analyzer/packageTypeVerifier.js.map +1 -1
  42. package/dist/analyzer/parameterUtils.d.ts +4 -4
  43. package/dist/analyzer/parameterUtils.js +28 -46
  44. package/dist/analyzer/parameterUtils.js.map +1 -1
  45. package/dist/analyzer/parseTreeUtils.js +268 -269
  46. package/dist/analyzer/parseTreeUtils.js.map +1 -1
  47. package/dist/analyzer/parseTreeWalker.js +76 -76
  48. package/dist/analyzer/parseTreeWalker.js.map +1 -1
  49. package/dist/analyzer/patternMatching.js +195 -147
  50. package/dist/analyzer/patternMatching.js.map +1 -1
  51. package/dist/analyzer/program.js +1 -1
  52. package/dist/analyzer/program.js.map +1 -1
  53. package/dist/analyzer/properties.js +78 -147
  54. package/dist/analyzer/properties.js.map +1 -1
  55. package/dist/analyzer/protocols.js +22 -22
  56. package/dist/analyzer/protocols.js.map +1 -1
  57. package/dist/analyzer/sourceFile.d.ts +3 -2
  58. package/dist/analyzer/sourceFile.js +8 -8
  59. package/dist/analyzer/sourceFile.js.map +1 -1
  60. package/dist/analyzer/sourceMapper.js +20 -19
  61. package/dist/analyzer/sourceMapper.js.map +1 -1
  62. package/dist/analyzer/staticExpressions.js +83 -84
  63. package/dist/analyzer/staticExpressions.js.map +1 -1
  64. package/dist/analyzer/testWalker.js +2 -2
  65. package/dist/analyzer/testWalker.js.map +1 -1
  66. package/dist/analyzer/tracePrinter.js +20 -20
  67. package/dist/analyzer/tracePrinter.js.map +1 -1
  68. package/dist/analyzer/typeDocStringUtils.js +25 -25
  69. package/dist/analyzer/typeDocStringUtils.js.map +1 -1
  70. package/dist/analyzer/typeEvaluator.js +2330 -2367
  71. package/dist/analyzer/typeEvaluator.js.map +1 -1
  72. package/dist/analyzer/typeEvaluatorTypes.d.ts +33 -31
  73. package/dist/analyzer/typeEvaluatorTypes.js +48 -41
  74. package/dist/analyzer/typeEvaluatorTypes.js.map +1 -1
  75. package/dist/analyzer/typeGuards.js +221 -217
  76. package/dist/analyzer/typeGuards.js.map +1 -1
  77. package/dist/analyzer/typePrinter.js +118 -115
  78. package/dist/analyzer/typePrinter.js.map +1 -1
  79. package/dist/analyzer/typeStubWriter.js +104 -103
  80. package/dist/analyzer/typeStubWriter.js.map +1 -1
  81. package/dist/analyzer/typeUtils.d.ts +26 -9
  82. package/dist/analyzer/typeUtils.js +460 -404
  83. package/dist/analyzer/typeUtils.js.map +1 -1
  84. package/dist/analyzer/typeVarContext.js +8 -8
  85. package/dist/analyzer/typeVarContext.js.map +1 -1
  86. package/dist/analyzer/typeWalker.js +13 -10
  87. package/dist/analyzer/typeWalker.js.map +1 -1
  88. package/dist/analyzer/typedDicts.js +96 -198
  89. package/dist/analyzer/typedDicts.js.map +1 -1
  90. package/dist/analyzer/types.d.ts +147 -103
  91. package/dist/analyzer/types.js +668 -493
  92. package/dist/analyzer/types.js.map +1 -1
  93. package/dist/commands/dumpFileDebugInfoCommand.js +33 -33
  94. package/dist/commands/dumpFileDebugInfoCommand.js.map +1 -1
  95. package/dist/common/diagnostic.d.ts +14 -0
  96. package/dist/common/diagnostic.js +41 -1
  97. package/dist/common/diagnostic.js.map +1 -1
  98. package/dist/common/diagnosticSink.d.ts +4 -0
  99. package/dist/common/diagnosticSink.js +21 -1
  100. package/dist/common/diagnosticSink.js.map +1 -1
  101. package/dist/common/fileSystem.d.ts +1 -0
  102. package/dist/common/fileSystem.js.map +1 -1
  103. package/dist/common/fullAccessHost.js +6 -4
  104. package/dist/common/fullAccessHost.js.map +1 -1
  105. package/dist/common/realFileSystem.d.ts +1 -0
  106. package/dist/common/realFileSystem.js +4 -0
  107. package/dist/common/realFileSystem.js.map +1 -1
  108. package/dist/common/textEditTracker.js +14 -14
  109. package/dist/common/textEditTracker.js.map +1 -1
  110. package/dist/languageService/autoImporter.js +10 -10
  111. package/dist/languageService/autoImporter.js.map +1 -1
  112. package/dist/languageService/callHierarchyProvider.js +23 -23
  113. package/dist/languageService/callHierarchyProvider.js.map +1 -1
  114. package/dist/languageService/completionProvider.d.ts +1 -1
  115. package/dist/languageService/completionProvider.js +156 -154
  116. package/dist/languageService/completionProvider.js.map +1 -1
  117. package/dist/languageService/definitionProvider.d.ts +1 -1
  118. package/dist/languageService/definitionProvider.js +3 -1
  119. package/dist/languageService/definitionProvider.js.map +1 -1
  120. package/dist/languageService/documentSymbolCollector.js +19 -19
  121. package/dist/languageService/documentSymbolCollector.js.map +1 -1
  122. package/dist/languageService/hoverProvider.js +25 -24
  123. package/dist/languageService/hoverProvider.js.map +1 -1
  124. package/dist/languageService/importSorter.js +8 -8
  125. package/dist/languageService/importSorter.js.map +1 -1
  126. package/dist/languageService/referencesProvider.js +8 -8
  127. package/dist/languageService/referencesProvider.js.map +1 -1
  128. package/dist/languageService/signatureHelpProvider.d.ts +1 -1
  129. package/dist/languageService/signatureHelpProvider.js +6 -6
  130. package/dist/languageService/signatureHelpProvider.js.map +1 -1
  131. package/dist/languageService/symbolIndexer.js +3 -3
  132. package/dist/languageService/symbolIndexer.js.map +1 -1
  133. package/dist/languageService/tooltipUtils.js +13 -13
  134. package/dist/languageService/tooltipUtils.js.map +1 -1
  135. package/dist/localization/localize.d.ts +3 -0
  136. package/dist/localization/localize.js +1 -0
  137. package/dist/localization/localize.js.map +1 -1
  138. package/dist/localization/package.nls.en-us.json +2 -1
  139. package/dist/parser/parseNodes.d.ts +468 -401
  140. package/dist/parser/parseNodes.js +626 -355
  141. package/dist/parser/parseNodes.js.map +1 -1
  142. package/dist/parser/parser.d.ts +1 -0
  143. package/dist/parser/parser.js +322 -297
  144. package/dist/parser/parser.js.map +1 -1
  145. package/dist/pyright.js +265 -5
  146. package/dist/pyright.js.map +1 -1
  147. package/dist/tests/classDeclaration.test.js +14 -14
  148. package/dist/tests/classDeclaration.test.js.map +1 -1
  149. package/dist/tests/fourslash/hover.init.fourslash.js +1 -1
  150. package/dist/tests/fourslash/hover.init.fourslash.js.map +1 -1
  151. package/dist/tests/harness/vfs/filesystem.d.ts +3 -2
  152. package/dist/tests/harness/vfs/filesystem.js +6 -2
  153. package/dist/tests/harness/vfs/filesystem.js.map +1 -1
  154. package/dist/tests/importResolver.test.js +4 -3
  155. package/dist/tests/importResolver.test.js.map +1 -1
  156. package/dist/tests/parseTreeUtils.test.js +5 -5
  157. package/dist/tests/parseTreeUtils.test.js.map +1 -1
  158. package/dist/tests/parser.test.js +8 -8
  159. package/dist/tests/parser.test.js.map +1 -1
  160. package/dist/tests/sourceMapperUtils.test.js +7 -7
  161. package/dist/tests/sourceMapperUtils.test.js.map +1 -1
  162. package/dist/tests/typeEvaluator2.test.js +2 -2
  163. package/dist/tests/typeEvaluator3.test.js +10 -5
  164. package/dist/tests/typeEvaluator3.test.js.map +1 -1
  165. package/dist/tests/typeEvaluator4.test.js +1 -1
  166. package/dist/tests/typeEvaluator7.test.js +2 -2
  167. package/dist/tests/typeEvaluator7.test.js.map +1 -1
  168. package/dist/tests/typePrinter.test.js +14 -39
  169. package/dist/tests/typePrinter.test.js.map +1 -1
  170. package/package.json +1 -1
@@ -13,40 +13,42 @@ import { Symbol } from './symbol';
13
13
  import { PrintTypeFlags } from './typePrinter';
14
14
  import { AssignTypeFlags, ClassMember, InferenceContext, MemberAccessFlags, UniqueSignatureTracker } from './typeUtils';
15
15
  import { TypeVarContext } from './typeVarContext';
16
- import { AnyType, ClassType, FunctionParameter, FunctionType, OverloadedFunctionType, Type, TypeCondition, TypeVarType, UnknownType, Variance } from './types';
16
+ import { AnyType, ClassType, FunctionParam, FunctionType, OverloadedFunctionType, Type, TypeCondition, TypeVarType, UnknownType, Variance } from './types';
17
17
  export declare const maxSubtypesForInferredType = 64;
18
- export declare const enum EvaluatorFlags {
18
+ export declare const enum EvalFlags {
19
19
  None = 0,
20
20
  ConvertEllipsisToAny = 1,
21
- DoNotSpecialize = 2,
22
- AllowForwardReferences = 4,
23
- EvaluateStringLiteralAsType = 8,
24
- DisallowFinal = 16,
25
- DisallowParamSpec = 32,
26
- DisallowTypeVarTuple = 64,
27
- ExpectingInstantiableType = 128,
28
- ExpectingTypeAnnotation = 256,
21
+ NoSpecialize = 2,
22
+ ForwardRefs = 4,
23
+ StrLiteralAsType = 8,
24
+ NoFinal = 16,
25
+ NoParamSpec = 32,
26
+ NoTypeVarTuple = 64,
27
+ InstantiableType = 128,
28
+ TypeExpression = 256,
29
29
  AllowMissingTypeArgs = 512,
30
- AllowGenericClassType = 1024,
31
- DisallowTypeVarsWithScopeId = 2048,
32
- AllowTypeVarsWithoutScopeId = 4096,
33
- AssociateTypeVarsWithCurrentScope = 8192,
34
- EnforceTypeVarVarianceConsistency = 16384,
35
- VariableTypeAnnotation = 32768,
36
- DisallowClassVar = 131072,
37
- DisallowNakedGeneric = 262144,
38
- NotParsedByInterpreter = 524288,
30
+ AllowGeneric = 1024,
31
+ NoTypeVarWithScopeId = 2048,
32
+ AllowTypeVarWithoutScopeId = 4096,
33
+ TypeVarGetsCurScope = 8192,
34
+ EnforceVarianceConsistency = 16384,
35
+ VarTypeAnnotation = 32768,
36
+ NoClassVar = 131072,
37
+ NoNakedGeneric = 262144,
38
+ NotParsed = 524288,
39
39
  AllowRequired = 1048576,
40
- AllowUnpackedTupleOrTypeVarTuple = 2097152,
41
- InterpreterParsesStringLiteral = 4194304,
42
- AllowUnpackedTypedDict = 8388608,
43
- SkipConvertParamSpecToRuntimeObject = 33554432,
44
- DisallowNonTypeSpecialForms = 67108864,
40
+ AllowUnpackedTuple = 2097152,
41
+ AllowUnpackedTypedDict = 4194304,
42
+ ParsesStringLiteral = 8388608,
43
+ NoConvertSpecialForm = 33554432,
44
+ NoNonTypeSpecialForms = 67108864,
45
45
  AllowConcatenate = 134217728,
46
- StripLiteralTypeForTuple = 268435456,
46
+ StripTupleLiterals = 268435456,
47
+ IsinstanceArg = 536870912,
47
48
  CallBaseDefaults = 2,
48
49
  IndexBaseDefaults = 2,
49
- MemberAccessBaseDefaults = 2
50
+ MemberAccessBaseDefaults = 2,
51
+ IsInstanceArgDefaults = 536871546
50
52
  }
51
53
  export interface TypeResult<T extends Type = Type> {
52
54
  type: T;
@@ -90,7 +92,7 @@ export interface FunctionTypeResult {
90
92
  }
91
93
  export interface CallSignature {
92
94
  type: FunctionType;
93
- activeParam?: FunctionParameter | undefined;
95
+ activeParam?: FunctionParam | undefined;
94
96
  }
95
97
  export interface CallSignatureInfo {
96
98
  signatures: CallSignature[];
@@ -183,7 +185,7 @@ export interface CallResult {
183
185
  isTypeIncomplete?: boolean | undefined;
184
186
  argumentErrors?: boolean;
185
187
  anyOrUnknownArgument?: UnknownType | AnyType;
186
- activeParam?: FunctionParameter | undefined;
188
+ activeParam?: FunctionParam | undefined;
187
189
  specializedInitSelfType?: Type | undefined;
188
190
  overloadsUsedForCall?: FunctionType[];
189
191
  argResults?: ArgResult[];
@@ -239,7 +241,7 @@ export interface TypeEvaluator {
239
241
  getTypeResult: (node: ExpressionNode) => TypeResult | undefined;
240
242
  getTypeResultForDecorator: (node: DecoratorNode) => TypeResult | undefined;
241
243
  getCachedType: (node: ExpressionNode) => Type | undefined;
242
- getTypeOfExpression: (node: ExpressionNode, flags?: EvaluatorFlags, context?: InferenceContext) => TypeResult;
244
+ getTypeOfExpression: (node: ExpressionNode, flags?: EvalFlags, context?: InferenceContext) => TypeResult;
243
245
  getTypeOfAnnotation: (node: ExpressionNode, options?: AnnotationTypeOptions) => Type;
244
246
  getTypeOfClass: (node: ClassNode) => ClassTypeResult | undefined;
245
247
  getTypeOfFunction: (node: FunctionNode) => FunctionTypeResult | undefined;
@@ -312,7 +314,7 @@ export interface TypeEvaluator {
312
314
  inferReturnTypeIfNecessary: (type: Type) => void;
313
315
  inferTypeParameterVarianceForClass: (type: ClassType) => void;
314
316
  assignTypeArguments: (destType: ClassType, srcType: ClassType, diag: DiagnosticAddendum | undefined, destTypeVarContext: TypeVarContext | undefined, srcTypeVarContext: TypeVarContext | undefined, flags: AssignTypeFlags, recursionCount: number) => boolean;
315
- reportMissingTypeArguments: (node: ExpressionNode, type: Type, flags: EvaluatorFlags) => Type;
317
+ reportMissingTypeArguments: (node: ExpressionNode, type: Type, flags: EvalFlags) => Type;
316
318
  isFinalVariable: (symbol: Symbol) => boolean;
317
319
  isFinalVariableDeclaration: (decl: Declaration) => boolean;
318
320
  isExplicitTypeAliasDeclaration: (decl: Declaration) => boolean;
@@ -332,7 +334,7 @@ export interface TypeEvaluator {
332
334
  disposeEvaluator: () => void;
333
335
  useSpeculativeMode: <T>(speculativeNode: ParseNode | undefined, callback: () => T) => T;
334
336
  isSpeculativeModeInUse: (node: ParseNode | undefined) => boolean;
335
- setTypeResultForNode: (node: ParseNode, typeResult: TypeResult, flags?: EvaluatorFlags) => void;
337
+ setTypeResultForNode: (node: ParseNode, typeResult: TypeResult, flags?: EvalFlags) => void;
336
338
  checkForCancellation: () => void;
337
339
  printControlFlowGraph: (flowNode: FlowNode, reference: CodeFlowReferenceExpressionNode | undefined, callName: string, logger: ConsoleInterface) => void;
338
340
  printTypeVarContext: (typeVarContext: TypeVarContext) => void;
@@ -8,89 +8,96 @@
8
8
  * Abstract interface and other helper types for type evaluator module.
9
9
  */
10
10
  Object.defineProperty(exports, "__esModule", { value: true });
11
- exports.EvaluatorFlags = exports.maxSubtypesForInferredType = void 0;
11
+ exports.EvalFlags = exports.maxSubtypesForInferredType = void 0;
12
12
  // Maximum number of unioned subtypes for an inferred type (e.g.
13
13
  // a list) before the type is considered an "Any".
14
14
  exports.maxSubtypesForInferredType = 64;
15
- var EvaluatorFlags;
16
- (function (EvaluatorFlags) {
17
- EvaluatorFlags[EvaluatorFlags["None"] = 0] = "None";
15
+ var EvalFlags;
16
+ (function (EvalFlags) {
17
+ EvalFlags[EvalFlags["None"] = 0] = "None";
18
18
  // Interpret an ellipsis type annotation to mean "Any".
19
- EvaluatorFlags[EvaluatorFlags["ConvertEllipsisToAny"] = 1] = "ConvertEllipsisToAny";
19
+ EvalFlags[EvalFlags["ConvertEllipsisToAny"] = 1] = "ConvertEllipsisToAny";
20
20
  // Normally a generic named type is specialized with "Any"
21
21
  // types. This flag indicates that specialization shouldn't take
22
22
  // place.
23
- EvaluatorFlags[EvaluatorFlags["DoNotSpecialize"] = 2] = "DoNotSpecialize";
23
+ EvalFlags[EvalFlags["NoSpecialize"] = 2] = "NoSpecialize";
24
24
  // Allow forward references. Don't report unbound errors.
25
- EvaluatorFlags[EvaluatorFlags["AllowForwardReferences"] = 4] = "AllowForwardReferences";
25
+ EvalFlags[EvalFlags["ForwardRefs"] = 4] = "ForwardRefs";
26
26
  // Treat string literal as a type.
27
- EvaluatorFlags[EvaluatorFlags["EvaluateStringLiteralAsType"] = 8] = "EvaluateStringLiteralAsType";
27
+ EvalFlags[EvalFlags["StrLiteralAsType"] = 8] = "StrLiteralAsType";
28
28
  // 'Final' is not allowed in this context.
29
- EvaluatorFlags[EvaluatorFlags["DisallowFinal"] = 16] = "DisallowFinal";
29
+ EvalFlags[EvalFlags["NoFinal"] = 16] = "NoFinal";
30
30
  // A ParamSpec isn't allowed in this context.
31
- EvaluatorFlags[EvaluatorFlags["DisallowParamSpec"] = 32] = "DisallowParamSpec";
31
+ EvalFlags[EvalFlags["NoParamSpec"] = 32] = "NoParamSpec";
32
32
  // A TypeVarTuple isn't allowed in this context.
33
- EvaluatorFlags[EvaluatorFlags["DisallowTypeVarTuple"] = 64] = "DisallowTypeVarTuple";
33
+ EvalFlags[EvalFlags["NoTypeVarTuple"] = 64] = "NoTypeVarTuple";
34
34
  // Expression is expected to be an instantiable type rather
35
35
  // than an instance (object)
36
- EvaluatorFlags[EvaluatorFlags["ExpectingInstantiableType"] = 128] = "ExpectingInstantiableType";
37
- // A type annotation restricts the types of expressions that are
38
- // allowed. If this flag is set, illegal type expressions are
36
+ EvalFlags[EvalFlags["InstantiableType"] = 128] = "InstantiableType";
37
+ // A type expression imposes grammatical and semantic limits on an
38
+ // expression. If this flag is set, illegal type expressions are
39
39
  // flagged as errors.
40
- EvaluatorFlags[EvaluatorFlags["ExpectingTypeAnnotation"] = 256] = "ExpectingTypeAnnotation";
40
+ EvalFlags[EvalFlags["TypeExpression"] = 256] = "TypeExpression";
41
41
  // Suppress the reportMissingTypeArgument diagnostic in this context.
42
- EvaluatorFlags[EvaluatorFlags["AllowMissingTypeArgs"] = 512] = "AllowMissingTypeArgs";
42
+ EvalFlags[EvalFlags["AllowMissingTypeArgs"] = 512] = "AllowMissingTypeArgs";
43
43
  // The Generic class type is allowed in this context. It is
44
44
  // normally not allowed if ExpectingType is set.
45
- EvaluatorFlags[EvaluatorFlags["AllowGenericClassType"] = 1024] = "AllowGenericClassType";
45
+ EvalFlags[EvalFlags["AllowGeneric"] = 1024] = "AllowGeneric";
46
46
  // TypeVars within this expression must not refer to type vars
47
47
  // used in an outer scope.
48
- EvaluatorFlags[EvaluatorFlags["DisallowTypeVarsWithScopeId"] = 2048] = "DisallowTypeVarsWithScopeId";
48
+ EvalFlags[EvalFlags["NoTypeVarWithScopeId"] = 2048] = "NoTypeVarWithScopeId";
49
49
  // TypeVars within this expression do not need to refer to type vars
50
50
  // used in an outer scope.
51
- EvaluatorFlags[EvaluatorFlags["AllowTypeVarsWithoutScopeId"] = 4096] = "AllowTypeVarsWithoutScopeId";
51
+ EvalFlags[EvalFlags["AllowTypeVarWithoutScopeId"] = 4096] = "AllowTypeVarWithoutScopeId";
52
52
  // TypeVars within this expression that are otherwise not
53
53
  // associated with an outer scope should be associated with
54
54
  // the containing function's scope.
55
- EvaluatorFlags[EvaluatorFlags["AssociateTypeVarsWithCurrentScope"] = 8192] = "AssociateTypeVarsWithCurrentScope";
55
+ EvalFlags[EvalFlags["TypeVarGetsCurScope"] = 8192] = "TypeVarGetsCurScope";
56
56
  // When a new class-scoped TypeVar is used within a class
57
57
  // declaration, make sure that it is not used to parameterize
58
58
  // a base class whose TypeVar variance is inconsistent.
59
- EvaluatorFlags[EvaluatorFlags["EnforceTypeVarVarianceConsistency"] = 16384] = "EnforceTypeVarVarianceConsistency";
59
+ EvalFlags[EvalFlags["EnforceVarianceConsistency"] = 16384] = "EnforceVarianceConsistency";
60
60
  // Used for PEP 526-style variable type annotations
61
- EvaluatorFlags[EvaluatorFlags["VariableTypeAnnotation"] = 32768] = "VariableTypeAnnotation";
61
+ EvalFlags[EvalFlags["VarTypeAnnotation"] = 32768] = "VarTypeAnnotation";
62
62
  // 'ClassVar' is not allowed in this context.
63
- EvaluatorFlags[EvaluatorFlags["DisallowClassVar"] = 131072] = "DisallowClassVar";
63
+ EvalFlags[EvalFlags["NoClassVar"] = 131072] = "NoClassVar";
64
64
  // 'Generic' cannot be used without type arguments in this context.
65
- EvaluatorFlags[EvaluatorFlags["DisallowNakedGeneric"] = 262144] = "DisallowNakedGeneric";
65
+ EvalFlags[EvalFlags["NoNakedGeneric"] = 262144] = "NoNakedGeneric";
66
66
  // The node is not parsed by the interpreter because it is within
67
67
  // a comment or a string literal.
68
- EvaluatorFlags[EvaluatorFlags["NotParsedByInterpreter"] = 524288] = "NotParsedByInterpreter";
68
+ EvalFlags[EvalFlags["NotParsed"] = 524288] = "NotParsed";
69
69
  // Required and NotRequired are allowed in this context.
70
- EvaluatorFlags[EvaluatorFlags["AllowRequired"] = 1048576] = "AllowRequired";
70
+ EvalFlags[EvalFlags["AllowRequired"] = 1048576] = "AllowRequired";
71
71
  // Allow Unpack annotation for a tuple or TypeVarTuple.
72
- EvaluatorFlags[EvaluatorFlags["AllowUnpackedTupleOrTypeVarTuple"] = 2097152] = "AllowUnpackedTupleOrTypeVarTuple";
72
+ EvalFlags[EvalFlags["AllowUnpackedTuple"] = 2097152] = "AllowUnpackedTuple";
73
+ // Allow Unpack annotation for TypedDict.
74
+ EvalFlags[EvalFlags["AllowUnpackedTypedDict"] = 4194304] = "AllowUnpackedTypedDict";
73
75
  // Even though an expression is enclosed in a string literal,
74
76
  // the interpreter (within a source file, not a stub) still
75
77
  // parses the expression and generates parse errors.
76
- EvaluatorFlags[EvaluatorFlags["InterpreterParsesStringLiteral"] = 4194304] = "InterpreterParsesStringLiteral";
77
- // Allow Unpack annotation for TypedDict.
78
- EvaluatorFlags[EvaluatorFlags["AllowUnpackedTypedDict"] = 8388608] = "AllowUnpackedTypedDict";
79
- // If evaluation is a TypeVarType that is a ParamSpec, do
80
- // not convert it to its corresponding ParamSpec runtime object.
81
- EvaluatorFlags[EvaluatorFlags["SkipConvertParamSpecToRuntimeObject"] = 33554432] = "SkipConvertParamSpecToRuntimeObject";
82
- // Protocol and TypedDict are not allowed in this context.
83
- EvaluatorFlags[EvaluatorFlags["DisallowNonTypeSpecialForms"] = 67108864] = "DisallowNonTypeSpecialForms";
78
+ EvalFlags[EvalFlags["ParsesStringLiteral"] = 8388608] = "ParsesStringLiteral";
79
+ // Do not convert special forms to their corresponding runtime
80
+ // objects even when expecting a type expression.
81
+ EvalFlags[EvalFlags["NoConvertSpecialForm"] = 33554432] = "NoConvertSpecialForm";
82
+ // Certain special forms (Protocol, TypedDict, etc.) are not allowed
83
+ // in this context.
84
+ EvalFlags[EvalFlags["NoNonTypeSpecialForms"] = 67108864] = "NoNonTypeSpecialForms";
84
85
  // Allow use of the Concatenate special form.
85
- EvaluatorFlags[EvaluatorFlags["AllowConcatenate"] = 134217728] = "AllowConcatenate";
86
+ EvalFlags[EvalFlags["AllowConcatenate"] = 134217728] = "AllowConcatenate";
86
87
  // Do not infer literal types within a tuple (used for tuples nested within
87
88
  // other container classes).
88
- EvaluatorFlags[EvaluatorFlags["StripLiteralTypeForTuple"] = 268435456] = "StripLiteralTypeForTuple";
89
+ EvalFlags[EvalFlags["StripTupleLiterals"] = 268435456] = "StripTupleLiterals";
90
+ // Interpret the expression using the specialized behaviors associated
91
+ // with the second argument to isinstance and issubclass calls.
92
+ EvalFlags[EvalFlags["IsinstanceArg"] = 536870912] = "IsinstanceArg";
89
93
  // Defaults used for evaluating the LHS of a call expression.
90
- EvaluatorFlags[EvaluatorFlags["CallBaseDefaults"] = 2] = "CallBaseDefaults";
94
+ EvalFlags[EvalFlags["CallBaseDefaults"] = 2] = "CallBaseDefaults";
91
95
  // Defaults used for evaluating the LHS of a member access expression.
92
- EvaluatorFlags[EvaluatorFlags["IndexBaseDefaults"] = 2] = "IndexBaseDefaults";
96
+ EvalFlags[EvalFlags["IndexBaseDefaults"] = 2] = "IndexBaseDefaults";
93
97
  // Defaults used for evaluating the LHS of a member access expression.
94
- EvaluatorFlags[EvaluatorFlags["MemberAccessBaseDefaults"] = 2] = "MemberAccessBaseDefaults";
95
- })(EvaluatorFlags || (exports.EvaluatorFlags = EvaluatorFlags = {}));
98
+ EvalFlags[EvalFlags["MemberAccessBaseDefaults"] = 2] = "MemberAccessBaseDefaults";
99
+ // Defaults used for evaluating the second argument of an 'isinstance'
100
+ // or 'issubclass' call.
101
+ EvalFlags[EvalFlags["IsInstanceArgDefaults"] = 536871546] = "IsInstanceArgDefaults";
102
+ })(EvalFlags || (exports.EvalFlags = EvalFlags = {}));
96
103
  //# sourceMappingURL=typeEvaluatorTypes.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"typeEvaluatorTypes.js","sourceRoot":"","sources":["../../../../../src/analyzer/typeEvaluatorTypes.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AA+CH,gEAAgE;AAChE,kDAAkD;AACrC,QAAA,0BAA0B,GAAG,EAAE,CAAC;AAE7C,IAAkB,cA6GjB;AA7GD,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,2DAA2D;IAC3D,4BAA4B;IAC5B,+FAAkC,CAAA;IAElC,gEAAgE;IAChE,6DAA6D;IAC7D,qBAAqB;IACrB,2FAAgC,CAAA;IAEhC,qEAAqE;IACrE,qFAA6B,CAAA;IAE7B,2DAA2D;IAC3D,gDAAgD;IAChD,wFAA+B,CAAA;IAE/B,8DAA8D;IAC9D,0BAA0B;IAC1B,oGAAqC,CAAA;IAErC,oEAAoE;IACpE,0BAA0B;IAC1B,oGAAqC,CAAA;IAErC,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;IAEhC,yDAAyD;IACzD,gEAAgE;IAChE,wHAA6C,CAAA;IAE7C,0DAA0D;IAC1D,wGAAqC,CAAA;IAErC,6CAA6C;IAC7C,mFAA0B,CAAA;IAE1B,2EAA2E;IAC3E,4BAA4B;IAC5B,mGAAkC,CAAA;IAElC,6DAA6D;IAC7D,2EAAkC,CAAA;IAElC,sEAAsE;IACtE,6EAAmC,CAAA;IAEnC,sEAAsE;IACtE,2FAA0C,CAAA;AAC9C,CAAC,EA7GiB,cAAc,8BAAd,cAAc,QA6G/B"}
1
+ {"version":3,"file":"typeEvaluatorTypes.js","sourceRoot":"","sources":["../../../../../src/analyzer/typeEvaluatorTypes.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AA+CH,gEAAgE;AAChE,kDAAkD;AACrC,QAAA,0BAA0B,GAAG,EAAE,CAAC;AAE7C,IAAkB,SA4HjB;AA5HD,WAAkB,SAAS;IACvB,yCAAQ,CAAA;IAER,uDAAuD;IACvD,yEAA6B,CAAA;IAE7B,0DAA0D;IAC1D,gEAAgE;IAChE,SAAS;IACT,yDAAqB,CAAA;IAErB,yDAAyD;IACzD,uDAAoB,CAAA;IAEpB,kCAAkC;IAClC,iEAAyB,CAAA;IAEzB,0CAA0C;IAC1C,gDAAgB,CAAA;IAEhB,6CAA6C;IAC7C,wDAAoB,CAAA;IAEpB,gDAAgD;IAChD,8DAAuB,CAAA;IAEvB,2DAA2D;IAC3D,4BAA4B;IAC5B,mEAAyB,CAAA;IAEzB,kEAAkE;IAClE,gEAAgE;IAChE,qBAAqB;IACrB,+DAAuB,CAAA;IAEvB,qEAAqE;IACrE,2EAA6B,CAAA;IAE7B,2DAA2D;IAC3D,gDAAgD;IAChD,4DAAsB,CAAA;IAEtB,8DAA8D;IAC9D,0BAA0B;IAC1B,4EAA8B,CAAA;IAE9B,oEAAoE;IACpE,0BAA0B;IAC1B,wFAAoC,CAAA;IAEpC,yDAAyD;IACzD,2DAA2D;IAC3D,mCAAmC;IACnC,0EAA6B,CAAA;IAE7B,yDAAyD;IACzD,6DAA6D;IAC7D,uDAAuD;IACvD,yFAAoC,CAAA;IAEpC,mDAAmD;IACnD,uEAA2B,CAAA;IAE3B,6CAA6C;IAC7C,0DAAoB,CAAA;IAEpB,mEAAmE;IACnE,kEAAwB,CAAA;IAExB,iEAAiE;IACjE,iCAAiC;IACjC,wDAAmB,CAAA;IAEnB,wDAAwD;IACxD,iEAAuB,CAAA;IAEvB,uDAAuD;IACvD,2EAA4B,CAAA;IAE5B,yCAAyC;IACzC,mFAAgC,CAAA;IAEhC,6DAA6D;IAC7D,2DAA2D;IAC3D,oDAAoD;IACpD,6EAA6B,CAAA;IAE7B,8DAA8D;IAC9D,iDAAiD;IACjD,gFAA8B,CAAA;IAE9B,oEAAoE;IACpE,mBAAmB;IACnB,kFAA+B,CAAA;IAE/B,6CAA6C;IAC7C,yEAA0B,CAAA;IAE1B,2EAA2E;IAC3E,4BAA4B;IAC5B,6EAA4B,CAAA;IAE5B,sEAAsE;IACtE,+DAA+D;IAC/D,mEAAuB,CAAA;IAEvB,6DAA6D;IAC7D,iEAA+B,CAAA;IAE/B,sEAAsE;IACtE,mEAAgC,CAAA;IAEhC,sEAAsE;IACtE,iFAAuC,CAAA;IAEvC,sEAAsE;IACtE,wBAAwB;IACxB,mFAMiB,CAAA;AACrB,CAAC,EA5HiB,SAAS,yBAAT,SAAS,QA4H1B"}