Class TypeArgumentInferenceContext

Hierarchy

Index

Constructor methods

Properties

Methods

Constructor methods

constructor(resolver: PullTypeResolver, context: PullTypeResolutionContext, signatureBeingInferred: PullSignatureSymbol): TypeArgumentInferenceContext

Parameters

Returns

TypeArgumentInferenceContext

Properties

public candidateCache: CandidateInferenceInfo[]

public context: PullTypeResolutionContext

public inferenceCache: IBitMatrix

public resolver: PullTypeResolver

public signatureBeingInferred: PullSignatureSymbol

Methods

public _finalizeInferredTypeArguments(): PullTypeSymbol[]

Returns

PullTypeSymbol[]

public addCandidateForInference(param: PullTypeParameterSymbol, candidate: PullTypeSymbol)

Parameters

public addInferenceRoot(param: PullTypeParameterSymbol)

Parameters

public alreadyRelatingTypes(objectType: PullTypeSymbol, parameterType: PullTypeSymbol): boolean

Parameters

Returns

boolean

public fixTypeParameter(typeParameter: PullTypeParameterSymbol)

Parameters

public getInferenceInfo(param: PullTypeParameterSymbol): CandidateInferenceInfo

Parameters

Returns

CandidateInferenceInfo

public inferTypeArguments(): PullTypeSymbol[]

Returns

PullTypeSymbol[]

public isInvocationInferenceContext(): boolean

Returns

boolean

public resetRelationshipCache()