Class PullTypeResolutionContext

public canTypeCheckAST(ast: AST): boolean

Parameters

• ast: AST

Returns

boolean

public doneBaseTypeResolution(wasInBaseTypeResolution: boolean)

Parameters

• wasInBaseTypeResolution: boolean

public endWalkingTypes(statesWhenStartedWalkingTypes: { stateWhenStartedWalkingTypes1: TypeScript.EnclosingTypeWalkerState; stateWhenStartedWalkingTypes2: TypeScript.EnclosingTypeWalkerState; })

Parameters

• statesWhenStartedWalkingTypes: { stateWhenStartedWalkingTypes1: TypeScript.EnclosingTypeWalkerState; stateWhenStartedWalkingTypes2: TypeScript.EnclosingTypeWalkerState; }

public fixAllTypeParametersReferencedByType(type: PullTypeSymbol, resolver: PullTypeResolver, argContext?: TypeArgumentInferenceContext): PullTypeSymbol

Parameters

• type: PullTypeSymbol

• resolver: PullTypeResolver

• argContext?: TypeArgumentInferenceContext optional

Returns

PullTypeSymbol

public getBothKindOfIndexSignatures(includeAugmentedType1: boolean, includeAugmentedType2: boolean): { indexSigs1: TypeScript.IndexSignatureInfo; indexSigs2: TypeScript.IndexSignatureInfo; }

Parameters

• includeAugmentedType1: boolean

• includeAugmentedType2: boolean

Returns

{ indexSigs1: TypeScript.IndexSignatureInfo; indexSigs2: TypeScript.IndexSignatureInfo; }

public getContextualType(): PullTypeSymbol

Returns

PullTypeSymbol

public getSymbolForAST(ast: AST): PullSymbol

Parameters

• ast: AST

Returns

PullSymbol

public hasProvisionalErrors(): boolean

Returns

boolean

public inProvisionalResolution(): boolean

Returns

boolean

public isInBaseTypeResolution(): boolean

Returns

boolean

public isInferentiallyTyping(): boolean

Returns

boolean

public oneOfClassificationsIsInfinitelyExpanding(): boolean

Returns

boolean

public popAnyContextualType(): PullContextualTypeContext

Returns

PullContextualTypeContext

public postDiagnostic(diagnostic: Diagnostic)

Parameters

• diagnostic: Diagnostic

public postWalkIndexSignatureReturnTypes(onlySignature?: boolean)

Parameters

• onlySignature?: boolean optional

public postWalkMemberTypes()

public postWalkParameterTypes()

public postWalkReturnTypes()

public postWalkSignatures()

public postWalkTypeArgument()

public postWalkTypeParameterConstraints()

public propagateContextualType(type: PullTypeSymbol)

Parameters

• type: PullTypeSymbol

public pushInferentialType(type: PullTypeSymbol, typeArgumentInferenceContext: TypeArgumentInferenceContext)

Parameters

• type: PullTypeSymbol

• typeArgumentInferenceContext: TypeArgumentInferenceContext

public pushNewContextualType(type: PullTypeSymbol)

Parameters

• type: PullTypeSymbol

public pushProvisionalType(type: PullTypeSymbol)

Parameters

• type: PullTypeSymbol

public resetEnclosingTypeWalkerStates(): { enclosingTypeWalkerState1: TypeScript.EnclosingTypeWalkerState; enclosingTypeWalkerState2: TypeScript.EnclosingTypeWalkerState; }

Returns

{ enclosingTypeWalkerState1: TypeScript.EnclosingTypeWalkerState; enclosingTypeWalkerState2: TypeScript.EnclosingTypeWalkerState; }

public setEnclosingTypeForSymbols(symbol1: PullSymbol, symbol2: PullSymbol): { enclosingTypeWalkerState1: TypeScript.EnclosingTypeWalkerState; enclosingTypeWalkerState2: TypeScript.EnclosingTypeWalkerState; }

Parameters

• symbol1: PullSymbol

• symbol2: PullSymbol

Returns

{ enclosingTypeWalkerState1: TypeScript.EnclosingTypeWalkerState; enclosingTypeWalkerState2: TypeScript.EnclosingTypeWalkerState; }

public setEnclosingTypeWalkerStates(enclosingTypeWalkerStates: { enclosingTypeWalkerState1: TypeScript.EnclosingTypeWalkerState; enclosingTypeWalkerState2: TypeScript.EnclosingTypeWalkerState; })

Parameters

• enclosingTypeWalkerStates: { enclosingTypeWalkerState1: TypeScript.EnclosingTypeWalkerState; enclosingTypeWalkerState2: TypeScript.EnclosingTypeWalkerState; }

public setSymbolForAST(ast: AST, symbol: PullSymbol)

Parameters

• ast: AST

• symbol: PullSymbol

public setTypeChecked(ast: AST)

Parameters

• ast: AST

public setTypeInContext(symbol: PullSymbol, type: PullTypeSymbol)

Parameters

• symbol: PullSymbol

• type: PullTypeSymbol

public startBaseTypeResolution(): boolean

Returns

boolean

public startWalkingTypes(symbol1: PullTypeSymbol, symbol2: PullTypeSymbol): { stateWhenStartedWalkingTypes1: TypeScript.EnclosingTypeWalkerState; stateWhenStartedWalkingTypes2: TypeScript.EnclosingTypeWalkerState; }

Parameters

• symbol1: PullTypeSymbol

• symbol2: PullTypeSymbol

Returns

{ stateWhenStartedWalkingTypes1: TypeScript.EnclosingTypeWalkerState; stateWhenStartedWalkingTypes2: TypeScript.EnclosingTypeWalkerState; }

public swapEnclosingTypeWalkers()

public typeCheck(): boolean

Returns

boolean

public walkIndexSignatureReturnTypes(indexSigs: { indexSigs1: TypeScript.IndexSignatureInfo; indexSigs2: TypeScript.IndexSignatureInfo; }, useStringIndexSignature1: boolean, useStringIndexSignature2: boolean, onlySignature?: boolean)

Parameters

• indexSigs: { indexSigs1: TypeScript.IndexSignatureInfo; indexSigs2: TypeScript.IndexSignatureInfo; }

• useStringIndexSignature1: boolean

• useStringIndexSignature2: boolean

• onlySignature?: boolean optional

public walkMemberTypes(memberName: string)

Parameters

• memberName: string

public walkParameterTypes(iParam: number)

Parameters

• iParam: number

public walkReturnTypes()

public walkSignatures(kind: PullElementKind, index: number, index2?: number)

Parameters

• kind: PullElementKind

• index: number

• index2?: number optional

public walkTypeArgument(index: number)

Parameters

• index: number

public walkTypeParameterConstraints(index: number)

Parameters

• index: number