Package com.intellij.psi

Interface PsiResolveHelper

All Known Implementing Classes:

PsiResolveHelperImpl

public interface PsiResolveHelper

Service for resolving references to declarations.

See Also:

JavaPsiFacade.getResolveHelper()

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	PsiResolveHelper.SERVICE

Field Summary

Fields

Modifier and Type	Field and Description
static RecursionGuard<PsiElement>	ourGraphGuard
static RecursionGuard<PsiExpression>	ourGuard

Method Summary

Modifier and Type	Method and Description
LanguageLevel	getEffectiveLanguageLevel(VirtualFile virtualFile)
CandidateInfo []	getReferencedMethodCandidates(PsiCallExpression call, boolean dummyImplicitConstructor) Resolves a call expression and returns an array of possible resolve results.
CandidateInfo []	getReferencedMethodCandidates(PsiCallExpression call, 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 info, 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)
default 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 type, 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.

Field Detail

ourGuard

static final RecursionGuard<PsiExpression> ourGuard

ourGraphGuard

static final RecursionGuard<PsiElement> ourGraphGuard

Method Detail

resolveConstructor

JavaResolveResult resolveConstructor(PsiClassType type,
                                     PsiExpressionList argumentList,
                                     PsiElement place)

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

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.

multiResolveConstructor

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

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.

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.

getReferencedMethodCandidates

CandidateInfo [] getReferencedMethodCandidates(PsiCallExpression call,
                                               boolean dummyImplicitConstructor)

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

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.

getReferencedMethodCandidates

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

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

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.

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

Returns:

the array of resolve results.

hasOverloads

boolean hasOverloads(PsiCallExpression call)

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.

resolveReferencedClass

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.

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

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.

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

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.

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

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".

isAccessible

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".

isAccessible

boolean isAccessible(PsiPackage pkg,
                     PsiElement place)

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

inferTypeForMethodTypeParameter

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.

inferTypeArguments

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

inferTypeArguments

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

inferTypeArguments

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

inferTypeArguments

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

getSubstitutionForTypeParameter

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

getEffectiveLanguageLevel

LanguageLevel getEffectiveLanguageLevel(VirtualFile virtualFile)