Package com.intellij.psi.impl.source.resolve.graphInference

Class PsiGraphInferenceHelper

java.lang.Object

com.intellij.psi.impl.source.resolve.graphInference.PsiGraphInferenceHelper

All Implemented Interfaces:

PsiInferenceHelper

public class PsiGraphInferenceHelper
extends java.lang.Object
implements PsiInferenceHelper

Constructor Summary

Constructors

Constructor and Description
PsiGraphInferenceHelper(PsiManager manager)

Method Summary

Modifier and Type	Method and Description
PsiType	getSubstitutionForTypeParameter(PsiTypeParameter typeParam, PsiType param, PsiType arg, boolean isContraVariantPosition, LanguageLevel languageLevel)
PsiSubstitutor	inferTypeArguments(PsiTypeParameter [] typeParameters, PsiParameter [] parameters, PsiExpression [] arguments, MethodCandidateInfo currentMethod, PsiSubstitutor partialSubstitutor, PsiElement parent, ParameterTypeInferencePolicy policy, LanguageLevel languageLevel)
PsiSubstitutor	inferTypeArguments(PsiTypeParameter [] typeParameters, PsiType [] leftTypes, PsiType [] rightTypes, LanguageLevel languageLevel)
PsiSubstitutor	inferTypeArguments(PsiTypeParameter [] typeParameters, PsiType [] leftTypes, PsiType [] rightTypes, PsiSubstitutor partialSubstitutor, LanguageLevel languageLevel)
PsiType	inferTypeForMethodTypeParameter(PsiTypeParameter typeParameter, PsiParameter [] parameters, PsiExpression [] arguments, PsiSubstitutor partialSubstitutor, PsiElement parent, ParameterTypeInferencePolicy policy)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PsiGraphInferenceHelper

public PsiGraphInferenceHelper(PsiManager manager)

Method Detail

inferTypeForMethodTypeParameter

public PsiType inferTypeForMethodTypeParameter(PsiTypeParameter typeParameter,
                                               PsiParameter [] parameters,
                                               PsiExpression [] arguments,
                                               PsiSubstitutor partialSubstitutor,
                                               PsiElement parent,
                                               ParameterTypeInferencePolicy policy)

Specified by:

inferTypeForMethodTypeParameter in interface PsiInferenceHelper

Returns:

PsiType.NULL iff no type could be inferred null iff the type inferred is raw inferred type otherwise

inferTypeArguments

public PsiSubstitutor inferTypeArguments(PsiTypeParameter [] typeParameters,
                                         PsiParameter [] parameters,
                                         PsiExpression [] arguments,
                                         MethodCandidateInfo currentMethod,
                                         PsiSubstitutor partialSubstitutor,
                                         PsiElement parent,
                                         ParameterTypeInferencePolicy policy,
                                         LanguageLevel languageLevel)

Specified by:

inferTypeArguments in interface PsiInferenceHelper

inferTypeArguments

public PsiSubstitutor inferTypeArguments(PsiTypeParameter [] typeParameters,
                                         PsiType [] leftTypes,
                                         PsiType [] rightTypes,
                                         LanguageLevel languageLevel)

Specified by:

inferTypeArguments in interface PsiInferenceHelper

inferTypeArguments

public PsiSubstitutor inferTypeArguments(PsiTypeParameter [] typeParameters,
                                         PsiType [] leftTypes,
                                         PsiType [] rightTypes,
                                         PsiSubstitutor partialSubstitutor,
                                         LanguageLevel languageLevel)

Specified by:

inferTypeArguments in interface PsiInferenceHelper

getSubstitutionForTypeParameter

public PsiType getSubstitutionForTypeParameter(PsiTypeParameter typeParam,
                                               PsiType param,
                                               PsiType arg,
                                               boolean isContraVariantPosition,
                                               LanguageLevel languageLevel)

Specified by:

getSubstitutionForTypeParameter in interface PsiInferenceHelper