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

Class PsiResolveHelperImpl

java.lang.Object

com.intellij.psi.impl.source.resolve.PsiResolveHelperImpl

All Implemented Interfaces:

PsiResolveHelper

public class PsiResolveHelperImpl
extends java.lang.Object
implements PsiResolveHelper

Nested Class Summary

Nested classes/interfaces inherited from interface com.intellij.psi.PsiResolveHelper

PsiResolveHelper.SERVICE

Field Summary

Fields inherited from interface com.intellij.psi.PsiResolveHelper

ourGraphGuard, ourGuard

Constructor Summary

Constructors

Constructor and Description
PsiResolveHelperImpl(Project project)
PsiResolveHelperImpl(PsiManager manager) Deprecated. Use PsiResolveHelperImpl(Project)

Method Summary

Modifier and Type	Method and Description
LanguageLevel	getEffectiveLanguageLevel(VirtualFile virtualFile)
PsiInferenceHelper	getInferenceHelper(LanguageLevel languageLevel)
CandidateInfo []	getReferencedMethodCandidates(PsiCallExpression call, boolean dummyImplicitConstructor) Resolves a call expression and returns an array of possible resolve results.
CandidateInfo []	getReferencedMethodCandidates(PsiCallExpression expr, boolean dummyImplicitConstructor, boolean checkVarargs) Resolves a call expression and returns an array of possible resolve results.
PsiType	getSubstitutionForTypeParameter(PsiTypeParameter typeParam, PsiType param, PsiType arg, boolean isContraVariantPosition, LanguageLevel languageLevel)
boolean	hasOverloads(PsiCallExpression call) Checks if there are method (or constructor) overloads.
PsiSubstitutor	inferTypeArguments(PsiTypeParameter [] typeParameters, PsiParameter [] parameters, PsiExpression [] arguments, MethodCandidateInfo currentCandidate, PsiElement parent, ParameterTypeInferencePolicy policy, LanguageLevel languageLevel)
PsiSubstitutor	inferTypeArguments(PsiTypeParameter [] typeParameters, PsiParameter [] parameters, PsiExpression [] arguments, PsiSubstitutor partialSubstitutor, PsiElement parent, ParameterTypeInferencePolicy policy)
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) Returns PsiType.NULL iff no type could be inferred, null iff the type inferred is raw, the inferred type otherwise.
boolean	isAccessible(PsiMember member, PsiElement place, PsiClass accessObjectClass) Returns true if a member is accessible from a given place according to JLS 6.6 "Access Control".
boolean	isAccessible(PsiMember member, PsiModifierList modifierList, PsiElement place, PsiClass accessObjectClass, PsiElement currentFileResolveScope) Returns true if a member is accessible from a given place according to JLS 6.6 "Access Control".
boolean	isAccessible(PsiPackage pkg, PsiElement place) Returns true if a package is accessible from a given place according to JLS 6.6 "Access Control".
JavaResolveResult []	multiResolveConstructor(PsiClassType type, PsiExpressionList argumentList, PsiElement place) Resolves a constructor and returns all variants for the resolve.
PsiVariable	resolveAccessibleReferencedVariable(java.lang.String referenceText, PsiElement context) Resolves a reference to a variable, given the text of the reference and the context in which it was encountered.
JavaResolveResult	resolveConstructor(PsiClassType classType, PsiExpressionList argumentList, PsiElement place) Resolves a constructor.
PsiClass	resolveReferencedClass(java.lang.String referenceText, PsiElement context) Resolves a reference to a class, given the text of the reference and the context in which it was encountered.
PsiVariable	resolveReferencedVariable(java.lang.String referenceText, PsiElement context) Resolves a reference to a variable, given the text of the reference and the context in which it was encountered.

Methods inherited from class java.lang.Object

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

Constructor Detail

PsiResolveHelperImpl

public PsiResolveHelperImpl(Project project)

PsiResolveHelperImpl

@Deprecated
public PsiResolveHelperImpl(PsiManager manager)

Deprecated. Use PsiResolveHelperImpl(Project)

Method Detail

resolveConstructor

public JavaResolveResult resolveConstructor(PsiClassType classType,
                                            PsiExpressionList argumentList,
                                            PsiElement place)

Description copied from interface: PsiResolveHelper

Resolves a constructor. The resolved constructor is not necessarily accessible from the point of the call, but accessible constructors have a priority.

Specified by:

resolveConstructor in interface PsiResolveHelper

Parameters:

classType - the class containing the constructor

argumentList - list of arguments of the call or new expression

place - place where constructor is invoked (used for checking access)

Returns:

the result of the resolve, or JavaResolveResult.EMPTY if the resolve failed.

multiResolveConstructor

public JavaResolveResult [] multiResolveConstructor(PsiClassType type,
                                                    PsiExpressionList argumentList,
                                                    PsiElement place)

Description copied from interface: PsiResolveHelper

Resolves a constructor and returns all variants for the resolve. The resolved constructors are not necessarily accessible from the point of the call, but accessible constructors have a priority.

Specified by:

multiResolveConstructor in interface PsiResolveHelper

Parameters:

type - the class containing the constructor

argumentList - list of arguments of the call or new expression

place - place where constructor is invoked (used for checking access)

Returns:

the result of the resolve, or JavaResolveResult.EMPTY if the resolve failed.

resolveReferencedClass

public PsiClass resolveReferencedClass(java.lang.String referenceText,
                                       PsiElement context)

Description copied from interface: PsiResolveHelper

Resolves a reference to a class, given the text of the reference and the context in which it was encountered.

Specified by:

resolveReferencedClass in interface PsiResolveHelper

Parameters:

referenceText - the text of the reference.

context - the context in which the reference is found.

Returns:

the resolve result, or null if the resolve was not successful.

resolveReferencedVariable

public PsiVariable resolveReferencedVariable(java.lang.String referenceText,
                                             PsiElement context)

Description copied from interface: PsiResolveHelper

Resolves a reference to a variable, given the text of the reference and the context in which it was encountered.

Specified by:

resolveReferencedVariable in interface PsiResolveHelper

Parameters:

referenceText - the text of the reference.

context - the context in which the reference is found.

Returns:

the resolve result, or null if the resolve was not successful.

resolveAccessibleReferencedVariable

public PsiVariable resolveAccessibleReferencedVariable(java.lang.String referenceText,
                                                       PsiElement context)

Description copied from interface: PsiResolveHelper

Resolves a reference to a variable, given the text of the reference and the context in which it was encountered.

Specified by:

resolveAccessibleReferencedVariable in interface PsiResolveHelper

Parameters:

referenceText - the text of the reference.

context - the context in which the reference is found.

Returns:

the resolve result, or null if the resolve was not successful or resolved variable is not accessible in a given context.

isAccessible

public boolean isAccessible(PsiMember member,
                            PsiElement place,
                            PsiClass accessObjectClass)

Description copied from interface: PsiResolveHelper

Returns true if a member is accessible from a given place according to JLS 6.6 "Access Control".

Specified by:

isAccessible in interface PsiResolveHelper

isAccessible

public boolean isAccessible(PsiMember member,
                            PsiModifierList modifierList,
                            PsiElement place,
                            PsiClass accessObjectClass,
                            PsiElement currentFileResolveScope)

Description copied from interface: PsiResolveHelper

Returns true if a member is accessible from a given place according to JLS 6.6 "Access Control".

Specified by:

isAccessible in interface PsiResolveHelper

isAccessible

public boolean isAccessible(PsiPackage pkg,
                            PsiElement place)

Description copied from interface: PsiResolveHelper

Returns true if a package is accessible from a given place according to JLS 6.6 "Access Control".

Specified by:

isAccessible in interface PsiResolveHelper

getReferencedMethodCandidates

public CandidateInfo [] getReferencedMethodCandidates(PsiCallExpression expr,
                                                      boolean dummyImplicitConstructor,
                                                      boolean checkVarargs)

Description copied from interface: PsiResolveHelper

Resolves a call expression and returns an array of possible resolve results.

Specified by:

getReferencedMethodCandidates in interface PsiResolveHelper

Parameters:

expr - the call expression to resolve.

dummyImplicitConstructor - if true, implicit empty constructor which does not actually exist can be returned as a candidate for the resolve.

checkVarargs - true if varargs method should lead to 2 candidates in the result array

Returns:

the array of resolve results.

hasOverloads

public boolean hasOverloads(PsiCallExpression call)

Description copied from interface: PsiResolveHelper

Checks if there are method (or constructor) overloads. E.g. when no overloads exist, it's possible to cache types during inference even when they depend on top method call.

Specified by:

hasOverloads in interface PsiResolveHelper

getReferencedMethodCandidates

public CandidateInfo [] getReferencedMethodCandidates(PsiCallExpression call,
                                                      boolean dummyImplicitConstructor)

Description copied from interface: PsiResolveHelper

Resolves a call expression and returns an array of possible resolve results.

Specified by:

getReferencedMethodCandidates in interface PsiResolveHelper

Parameters:

call - the call expression to resolve.

dummyImplicitConstructor - if true, implicit empty constructor which does not actually exist can be returned as a candidate for the resolve.

Returns:

the array of resolve results.

inferTypeForMethodTypeParameter

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

Description copied from interface: PsiResolveHelper

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

Specified by:

inferTypeForMethodTypeParameter in interface PsiResolveHelper

inferTypeArguments

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

Specified by:

inferTypeArguments in interface PsiResolveHelper

inferTypeArguments

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

Specified by:

inferTypeArguments in interface PsiResolveHelper

inferTypeArguments

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

Specified by:

inferTypeArguments in interface PsiResolveHelper

inferTypeArguments

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

Specified by:

inferTypeArguments in interface PsiResolveHelper

getSubstitutionForTypeParameter

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

Specified by:

getSubstitutionForTypeParameter in interface PsiResolveHelper

getEffectiveLanguageLevel

public LanguageLevel getEffectiveLanguageLevel(VirtualFile virtualFile)

Specified by:

getEffectiveLanguageLevel in interface PsiResolveHelper

getInferenceHelper

public PsiInferenceHelper getInferenceHelper(LanguageLevel languageLevel)