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

Class FunctionalInterfaceParameterizationUtil

java.lang.Object

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

public class FunctionalInterfaceParameterizationUtil
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
FunctionalInterfaceParameterizationUtil()

Method Summary

Modifier and Type	Method and Description
static PsiType	getGroundTargetType(PsiType psiClassType)
static PsiType	getGroundTargetType(PsiType psiClassType, PsiLambdaExpression expr)
static PsiType	getGroundTargetType(PsiType psiClassType, PsiLambdaExpression expr, boolean performFinalCheck)
static PsiType	getNonWildcardParameterization(PsiClassType psiClassType) The function type of a parameterized functional interface, F, where one or more of A1...An is a wildcard, is the function type of the non-wildcard parameterization of F, F determined as follows.
static boolean	isWildcardParameterized(PsiType classType)

Methods inherited from class java.lang.Object

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

Constructor Detail

FunctionalInterfaceParameterizationUtil

public FunctionalInterfaceParameterizationUtil()

Method Detail

isWildcardParameterized

public static boolean isWildcardParameterized(PsiType classType)

getGroundTargetType

public static PsiType getGroundTargetType(PsiType psiClassType)

getGroundTargetType

public static PsiType getGroundTargetType(PsiType psiClassType,
                                          PsiLambdaExpression expr)

getGroundTargetType

public static PsiType getGroundTargetType(PsiType psiClassType,
                                          PsiLambdaExpression expr,
                                          boolean performFinalCheck)

getNonWildcardParameterization

public static PsiType getNonWildcardParameterization(PsiClassType psiClassType)

The function type of a parameterized functional interface, F, where one or more of A1...An is a wildcard, is the function type of the non-wildcard parameterization of F, F determined as follows. Let P1, ..., Pn be the type parameters of F and B1, ..., Bn be the corresponding bounds. For all i, 1 <= i <= n, Ti is derived according to the form of Ai: If Ai is a type, then Ti = Ai. If Ai is a wildcard, and the corresponding type parameter bound, Bi, mentions one of P1...Pn, then Ti is undefined and there is no function type. Otherwise: If Ai is an unbound wildcard ?, then Ti = Bi. If Ai is a upper-bounded wildcard ? extends Ui, then Ti = glb(Ui, Bi). If Ai is a lower-bounded wildcard ? super Li, then Ti = Li.