Package com.intellij.psi

Class GenericsUtil

java.lang.Object

com.intellij.psi.GenericsUtil

public class GenericsUtil
extends java.lang.Object

Method Summary

Modifier and Type	Method and Description
static boolean	checkNotInBounds(PsiType type, PsiType bound, boolean uncheckedConversionByDefault)
static boolean	checkNotInBounds(PsiType type, PsiType bound, PsiReferenceParameterList referenceParameterList)
static PsiType	eliminateWildcards(PsiType type)
static PsiType	eliminateWildcards(PsiType type, boolean eliminateInTypeArguments)
static PsiType	eliminateWildcards(PsiType type, boolean eliminateInTypeArguments, boolean eliminateCapturedWildcards)
static PsiType	findTypeParameterBoundError(PsiTypeParameter typeParameter, PsiType[] extendsTypes, PsiSubstitutor substitutor, PsiElement context, boolean allowUncheckedConversion)
static Pair<PsiTypeParameter,PsiType>	findTypeParameterWithBoundError(PsiTypeParameter[] typeParams, PsiSubstitutor substitutor, PsiElement context, boolean allowUncheckedConversion)
static PsiClassType	getExpectedGenericType(PsiElement context, PsiClass aClass, PsiClassType expectedType)
static java.util.List<PsiType>	getExpectedTypeArguments(PsiElement context, PsiClass aClass, java.lang.Iterable<? extends PsiTypeParameter> typeParams, PsiClassType expectedType) Tries to find the type parameters applied to a class which are compatible with expected supertype
static PsiType	getGreatestLowerBound(PsiType type1, PsiType type2)
static PsiType	getLeastUpperBound(PsiType type1, PsiType type2, PsiManager manager)
static PsiClass []	getLeastUpperClasses(PsiClass aClass, PsiClass bClass)
static PsiType	getVariableTypeByExpressionType(PsiType type)
static PsiType	getVariableTypeByExpressionType(PsiType type, boolean openCaptured)
static boolean	isFromExternalTypeLanguage(PsiType type)
static boolean	isGenericReference(PsiJavaCodeReferenceElement referenceElement, PsiJavaCodeReferenceElement qualifierElement)
static boolean	isTypeArgumentsApplicable(PsiTypeParameter[] typeParams, PsiSubstitutor substitutor, PsiElement context)
static boolean	isTypeArgumentsApplicable(PsiTypeParameter[] typeParams, PsiSubstitutor substitutor, PsiElement context, boolean allowUncheckedConversion)
static PsiSubstitutor	substituteByParameterName(PsiClass psiClass, PsiSubstitutor parentSubstitutor)

Methods inherited from class java.lang.Object

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

Method Detail

getGreatestLowerBound

public static PsiType getGreatestLowerBound(PsiType type1,
                                            PsiType type2)

getLeastUpperBound

public static PsiType getLeastUpperBound(PsiType type1,
                                         PsiType type2,
                                         PsiManager manager)

getLeastUpperClasses

public static PsiClass [] getLeastUpperClasses(PsiClass aClass,
                                               PsiClass bClass)

isTypeArgumentsApplicable

public static boolean isTypeArgumentsApplicable(PsiTypeParameter[] typeParams,
                                                PsiSubstitutor substitutor,
                                                PsiElement context)

isTypeArgumentsApplicable

public static boolean isTypeArgumentsApplicable(PsiTypeParameter[] typeParams,
                                                PsiSubstitutor substitutor,
                                                PsiElement context,
                                                boolean allowUncheckedConversion)

findTypeParameterWithBoundError

public static Pair<PsiTypeParameter,PsiType> findTypeParameterWithBoundError(PsiTypeParameter[] typeParams,
                                                                             PsiSubstitutor substitutor,
                                                                             PsiElement context,
                                                                             boolean allowUncheckedConversion)

findTypeParameterBoundError

public static PsiType findTypeParameterBoundError(PsiTypeParameter typeParameter,
                                                  PsiType[] extendsTypes,
                                                  PsiSubstitutor substitutor,
                                                  PsiElement context,
                                                  boolean allowUncheckedConversion)

isFromExternalTypeLanguage

public static boolean isFromExternalTypeLanguage(PsiType type)

getVariableTypeByExpressionType

public static PsiType getVariableTypeByExpressionType(PsiType type)

getVariableTypeByExpressionType

public static PsiType getVariableTypeByExpressionType(PsiType type,
                                                      boolean openCaptured)

substituteByParameterName

public static PsiSubstitutor substituteByParameterName(PsiClass psiClass,
                                                       PsiSubstitutor parentSubstitutor)

eliminateWildcards

public static PsiType eliminateWildcards(PsiType type)

eliminateWildcards

public static PsiType eliminateWildcards(PsiType type,
                                         boolean eliminateInTypeArguments)

eliminateWildcards

public static PsiType eliminateWildcards(PsiType type,
                                         boolean eliminateInTypeArguments,
                                         boolean eliminateCapturedWildcards)

checkNotInBounds

public static boolean checkNotInBounds(PsiType type,
                                       PsiType bound,
                                       PsiReferenceParameterList referenceParameterList)

checkNotInBounds

public static boolean checkNotInBounds(PsiType type,
                                       PsiType bound,
                                       boolean uncheckedConversionByDefault)

getExpectedGenericType

public static PsiClassType getExpectedGenericType(PsiElement context,
                                                  PsiClass aClass,
                                                  PsiClassType expectedType)

getExpectedTypeArguments

public static java.util.List<PsiType> getExpectedTypeArguments(PsiElement context,
                                                               PsiClass aClass,
                                                               java.lang.Iterable<? extends PsiTypeParameter> typeParams,
                                                               PsiClassType expectedType)

Tries to find the type parameters applied to a class which are compatible with expected supertype

Parameters:

context - a context element

aClass - a class which type parameters should be found

typeParams - type parameters to substitute (a subset of all type parameters of a class)

expectedType - an expected supertype

Returns:

a list of type arguments which correspond to passed type parameters

isGenericReference

public static boolean isGenericReference(PsiJavaCodeReferenceElement referenceElement,
                                         PsiJavaCodeReferenceElement qualifierElement)