@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.
- package/dist/analyzer/analyzerNodeInfo.js +74 -46
- package/dist/analyzer/analyzerNodeInfo.js.map +1 -1
- package/dist/analyzer/binder.js +507 -513
- package/dist/analyzer/binder.js.map +1 -1
- package/dist/analyzer/checker.js +652 -633
- package/dist/analyzer/checker.js.map +1 -1
- package/dist/analyzer/codeFlowEngine.d.ts +5 -3
- package/dist/analyzer/codeFlowEngine.js +143 -122
- package/dist/analyzer/codeFlowEngine.js.map +1 -1
- package/dist/analyzer/codeFlowTypes.js +30 -28
- package/dist/analyzer/codeFlowTypes.js.map +1 -1
- package/dist/analyzer/constraintSolver.d.ts +1 -1
- package/dist/analyzer/constraintSolver.js +71 -67
- package/dist/analyzer/constraintSolver.js.map +1 -1
- package/dist/analyzer/constructorTransform.js +22 -22
- package/dist/analyzer/constructorTransform.js.map +1 -1
- package/dist/analyzer/constructors.js +85 -77
- package/dist/analyzer/constructors.js.map +1 -1
- package/dist/analyzer/dataClasses.js +113 -176
- package/dist/analyzer/dataClasses.js.map +1 -1
- package/dist/analyzer/declaration.d.ts +1 -1
- package/dist/analyzer/declarationUtils.js +14 -15
- package/dist/analyzer/declarationUtils.js.map +1 -1
- package/dist/analyzer/decorators.js +85 -85
- package/dist/analyzer/decorators.js.map +1 -1
- package/dist/analyzer/enums.js +71 -57
- package/dist/analyzer/enums.js.map +1 -1
- package/dist/analyzer/functionTransform.js +8 -18
- package/dist/analyzer/functionTransform.js.map +1 -1
- package/dist/analyzer/importResolver.d.ts +2 -1
- package/dist/analyzer/importResolver.js +40 -29
- package/dist/analyzer/importResolver.js.map +1 -1
- package/dist/analyzer/importStatementUtils.js +27 -27
- package/dist/analyzer/importStatementUtils.js.map +1 -1
- package/dist/analyzer/namedTuples.js +33 -59
- package/dist/analyzer/namedTuples.js.map +1 -1
- package/dist/analyzer/operations.d.ts +4 -4
- package/dist/analyzer/operations.js +70 -70
- package/dist/analyzer/operations.js.map +1 -1
- package/dist/analyzer/packageTypeVerifier.js +66 -62
- package/dist/analyzer/packageTypeVerifier.js.map +1 -1
- package/dist/analyzer/parameterUtils.d.ts +4 -4
- package/dist/analyzer/parameterUtils.js +28 -46
- package/dist/analyzer/parameterUtils.js.map +1 -1
- package/dist/analyzer/parseTreeUtils.js +268 -269
- package/dist/analyzer/parseTreeUtils.js.map +1 -1
- package/dist/analyzer/parseTreeWalker.js +76 -76
- package/dist/analyzer/parseTreeWalker.js.map +1 -1
- package/dist/analyzer/patternMatching.js +195 -147
- package/dist/analyzer/patternMatching.js.map +1 -1
- package/dist/analyzer/program.js +1 -1
- package/dist/analyzer/program.js.map +1 -1
- package/dist/analyzer/properties.js +78 -147
- package/dist/analyzer/properties.js.map +1 -1
- package/dist/analyzer/protocols.js +22 -22
- package/dist/analyzer/protocols.js.map +1 -1
- package/dist/analyzer/sourceFile.d.ts +3 -2
- package/dist/analyzer/sourceFile.js +8 -8
- package/dist/analyzer/sourceFile.js.map +1 -1
- package/dist/analyzer/sourceMapper.js +20 -19
- package/dist/analyzer/sourceMapper.js.map +1 -1
- package/dist/analyzer/staticExpressions.js +83 -84
- package/dist/analyzer/staticExpressions.js.map +1 -1
- package/dist/analyzer/testWalker.js +2 -2
- package/dist/analyzer/testWalker.js.map +1 -1
- package/dist/analyzer/tracePrinter.js +20 -20
- package/dist/analyzer/tracePrinter.js.map +1 -1
- package/dist/analyzer/typeDocStringUtils.js +25 -25
- package/dist/analyzer/typeDocStringUtils.js.map +1 -1
- package/dist/analyzer/typeEvaluator.js +2330 -2367
- package/dist/analyzer/typeEvaluator.js.map +1 -1
- package/dist/analyzer/typeEvaluatorTypes.d.ts +33 -31
- package/dist/analyzer/typeEvaluatorTypes.js +48 -41
- package/dist/analyzer/typeEvaluatorTypes.js.map +1 -1
- package/dist/analyzer/typeGuards.js +221 -217
- package/dist/analyzer/typeGuards.js.map +1 -1
- package/dist/analyzer/typePrinter.js +118 -115
- package/dist/analyzer/typePrinter.js.map +1 -1
- package/dist/analyzer/typeStubWriter.js +104 -103
- package/dist/analyzer/typeStubWriter.js.map +1 -1
- package/dist/analyzer/typeUtils.d.ts +26 -9
- package/dist/analyzer/typeUtils.js +460 -404
- package/dist/analyzer/typeUtils.js.map +1 -1
- package/dist/analyzer/typeVarContext.js +8 -8
- package/dist/analyzer/typeVarContext.js.map +1 -1
- package/dist/analyzer/typeWalker.js +13 -10
- package/dist/analyzer/typeWalker.js.map +1 -1
- package/dist/analyzer/typedDicts.js +96 -198
- package/dist/analyzer/typedDicts.js.map +1 -1
- package/dist/analyzer/types.d.ts +147 -103
- package/dist/analyzer/types.js +668 -493
- package/dist/analyzer/types.js.map +1 -1
- package/dist/commands/dumpFileDebugInfoCommand.js +33 -33
- package/dist/commands/dumpFileDebugInfoCommand.js.map +1 -1
- package/dist/common/diagnostic.d.ts +14 -0
- package/dist/common/diagnostic.js +41 -1
- package/dist/common/diagnostic.js.map +1 -1
- package/dist/common/diagnosticSink.d.ts +4 -0
- package/dist/common/diagnosticSink.js +21 -1
- package/dist/common/diagnosticSink.js.map +1 -1
- package/dist/common/fileSystem.d.ts +1 -0
- package/dist/common/fileSystem.js.map +1 -1
- package/dist/common/fullAccessHost.js +6 -4
- package/dist/common/fullAccessHost.js.map +1 -1
- package/dist/common/realFileSystem.d.ts +1 -0
- package/dist/common/realFileSystem.js +4 -0
- package/dist/common/realFileSystem.js.map +1 -1
- package/dist/common/textEditTracker.js +14 -14
- package/dist/common/textEditTracker.js.map +1 -1
- package/dist/languageService/autoImporter.js +10 -10
- package/dist/languageService/autoImporter.js.map +1 -1
- package/dist/languageService/callHierarchyProvider.js +23 -23
- package/dist/languageService/callHierarchyProvider.js.map +1 -1
- package/dist/languageService/completionProvider.d.ts +1 -1
- package/dist/languageService/completionProvider.js +156 -154
- package/dist/languageService/completionProvider.js.map +1 -1
- package/dist/languageService/definitionProvider.d.ts +1 -1
- package/dist/languageService/definitionProvider.js +3 -1
- package/dist/languageService/definitionProvider.js.map +1 -1
- package/dist/languageService/documentSymbolCollector.js +19 -19
- package/dist/languageService/documentSymbolCollector.js.map +1 -1
- package/dist/languageService/hoverProvider.js +25 -24
- package/dist/languageService/hoverProvider.js.map +1 -1
- package/dist/languageService/importSorter.js +8 -8
- package/dist/languageService/importSorter.js.map +1 -1
- package/dist/languageService/referencesProvider.js +8 -8
- package/dist/languageService/referencesProvider.js.map +1 -1
- package/dist/languageService/signatureHelpProvider.d.ts +1 -1
- package/dist/languageService/signatureHelpProvider.js +6 -6
- package/dist/languageService/signatureHelpProvider.js.map +1 -1
- package/dist/languageService/symbolIndexer.js +3 -3
- package/dist/languageService/symbolIndexer.js.map +1 -1
- package/dist/languageService/tooltipUtils.js +13 -13
- package/dist/languageService/tooltipUtils.js.map +1 -1
- package/dist/localization/localize.d.ts +3 -0
- package/dist/localization/localize.js +1 -0
- package/dist/localization/localize.js.map +1 -1
- package/dist/localization/package.nls.en-us.json +2 -1
- package/dist/parser/parseNodes.d.ts +468 -401
- package/dist/parser/parseNodes.js +626 -355
- package/dist/parser/parseNodes.js.map +1 -1
- package/dist/parser/parser.d.ts +1 -0
- package/dist/parser/parser.js +322 -297
- package/dist/parser/parser.js.map +1 -1
- package/dist/pyright.js +265 -5
- package/dist/pyright.js.map +1 -1
- package/dist/tests/classDeclaration.test.js +14 -14
- package/dist/tests/classDeclaration.test.js.map +1 -1
- package/dist/tests/fourslash/hover.init.fourslash.js +1 -1
- package/dist/tests/fourslash/hover.init.fourslash.js.map +1 -1
- package/dist/tests/harness/vfs/filesystem.d.ts +3 -2
- package/dist/tests/harness/vfs/filesystem.js +6 -2
- package/dist/tests/harness/vfs/filesystem.js.map +1 -1
- package/dist/tests/importResolver.test.js +4 -3
- package/dist/tests/importResolver.test.js.map +1 -1
- package/dist/tests/parseTreeUtils.test.js +5 -5
- package/dist/tests/parseTreeUtils.test.js.map +1 -1
- package/dist/tests/parser.test.js +8 -8
- package/dist/tests/parser.test.js.map +1 -1
- package/dist/tests/sourceMapperUtils.test.js +7 -7
- package/dist/tests/sourceMapperUtils.test.js.map +1 -1
- package/dist/tests/typeEvaluator2.test.js +2 -2
- package/dist/tests/typeEvaluator3.test.js +10 -5
- package/dist/tests/typeEvaluator3.test.js.map +1 -1
- package/dist/tests/typeEvaluator4.test.js +1 -1
- package/dist/tests/typeEvaluator7.test.js +2 -2
- package/dist/tests/typeEvaluator7.test.js.map +1 -1
- package/dist/tests/typePrinter.test.js +14 -39
- package/dist/tests/typePrinter.test.js.map +1 -1
- 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,
|
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
|
18
|
+
export declare const enum EvalFlags {
|
19
19
|
None = 0,
|
20
20
|
ConvertEllipsisToAny = 1,
|
21
|
-
|
22
|
-
|
23
|
-
|
24
|
-
|
25
|
-
|
26
|
-
|
27
|
-
|
28
|
-
|
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
|
-
|
31
|
-
|
32
|
-
|
33
|
-
|
34
|
-
|
35
|
-
|
36
|
-
|
37
|
-
|
38
|
-
|
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
|
-
|
41
|
-
|
42
|
-
|
43
|
-
|
44
|
-
|
40
|
+
AllowUnpackedTuple = 2097152,
|
41
|
+
AllowUnpackedTypedDict = 4194304,
|
42
|
+
ParsesStringLiteral = 8388608,
|
43
|
+
NoConvertSpecialForm = 33554432,
|
44
|
+
NoNonTypeSpecialForms = 67108864,
|
45
45
|
AllowConcatenate = 134217728,
|
46
|
-
|
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?:
|
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?:
|
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?:
|
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:
|
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?:
|
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.
|
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
|
16
|
-
(function (
|
17
|
-
|
15
|
+
var EvalFlags;
|
16
|
+
(function (EvalFlags) {
|
17
|
+
EvalFlags[EvalFlags["None"] = 0] = "None";
|
18
18
|
// Interpret an ellipsis type annotation to mean "Any".
|
19
|
-
|
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
|
-
|
23
|
+
EvalFlags[EvalFlags["NoSpecialize"] = 2] = "NoSpecialize";
|
24
24
|
// Allow forward references. Don't report unbound errors.
|
25
|
-
|
25
|
+
EvalFlags[EvalFlags["ForwardRefs"] = 4] = "ForwardRefs";
|
26
26
|
// Treat string literal as a type.
|
27
|
-
|
27
|
+
EvalFlags[EvalFlags["StrLiteralAsType"] = 8] = "StrLiteralAsType";
|
28
28
|
// 'Final' is not allowed in this context.
|
29
|
-
|
29
|
+
EvalFlags[EvalFlags["NoFinal"] = 16] = "NoFinal";
|
30
30
|
// A ParamSpec isn't allowed in this context.
|
31
|
-
|
31
|
+
EvalFlags[EvalFlags["NoParamSpec"] = 32] = "NoParamSpec";
|
32
32
|
// A TypeVarTuple isn't allowed in this context.
|
33
|
-
|
33
|
+
EvalFlags[EvalFlags["NoTypeVarTuple"] = 64] = "NoTypeVarTuple";
|
34
34
|
// Expression is expected to be an instantiable type rather
|
35
35
|
// than an instance (object)
|
36
|
-
|
37
|
-
// A type
|
38
|
-
//
|
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
|
-
|
40
|
+
EvalFlags[EvalFlags["TypeExpression"] = 256] = "TypeExpression";
|
41
41
|
// Suppress the reportMissingTypeArgument diagnostic in this context.
|
42
|
-
|
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
|
-
|
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
|
-
|
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
|
-
|
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
|
-
|
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
|
-
|
59
|
+
EvalFlags[EvalFlags["EnforceVarianceConsistency"] = 16384] = "EnforceVarianceConsistency";
|
60
60
|
// Used for PEP 526-style variable type annotations
|
61
|
-
|
61
|
+
EvalFlags[EvalFlags["VarTypeAnnotation"] = 32768] = "VarTypeAnnotation";
|
62
62
|
// 'ClassVar' is not allowed in this context.
|
63
|
-
|
63
|
+
EvalFlags[EvalFlags["NoClassVar"] = 131072] = "NoClassVar";
|
64
64
|
// 'Generic' cannot be used without type arguments in this context.
|
65
|
-
|
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
|
-
|
68
|
+
EvalFlags[EvalFlags["NotParsed"] = 524288] = "NotParsed";
|
69
69
|
// Required and NotRequired are allowed in this context.
|
70
|
-
|
70
|
+
EvalFlags[EvalFlags["AllowRequired"] = 1048576] = "AllowRequired";
|
71
71
|
// Allow Unpack annotation for a tuple or TypeVarTuple.
|
72
|
-
|
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
|
-
|
77
|
-
//
|
78
|
-
|
79
|
-
|
80
|
-
//
|
81
|
-
|
82
|
-
|
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
|
-
|
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
|
-
|
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
|
-
|
94
|
+
EvalFlags[EvalFlags["CallBaseDefaults"] = 2] = "CallBaseDefaults";
|
91
95
|
// Defaults used for evaluating the LHS of a member access expression.
|
92
|
-
|
96
|
+
EvalFlags[EvalFlags["IndexBaseDefaults"] = 2] = "IndexBaseDefaults";
|
93
97
|
// Defaults used for evaluating the LHS of a member access expression.
|
94
|
-
|
95
|
-
|
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,
|
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"}
|