Package com.intellij.psi

Interface PsiFunctionalExpression

All Superinterfaces:

Iconable, Navigatable, NavigatablePsiElement, NavigationItem, PsiAnnotationMemberValue, PsiElement, PsiExpression, UserDataHolder

All Known Subinterfaces:

PsiLambdaExpression, PsiMethodReferenceExpression

All Known Implementing Classes:

PsiLambdaExpressionImpl, PsiMethodReferenceExpressionImpl

public interface PsiFunctionalExpression
extends PsiExpression, Iconable, NavigatablePsiElement

Nested Class Summary

Nested classes/interfaces inherited from interface com.intellij.openapi.util.Iconable

Iconable.IconFlags, Iconable.LastComputedIcon

Field Summary

Fields

Modifier and Type	Field and Description
static PsiFunctionalExpression[]	EMPTY_ARRAY

Fields inherited from interface com.intellij.psi.PsiExpression

ARRAY_FACTORY, EXPRESSION_TO_TYPE

Fields inherited from interface com.intellij.openapi.util.Iconable

ICON_FLAG_IGNORE_MASK, ICON_FLAG_OPEN, ICON_FLAG_READ_STATUS, ICON_FLAG_VISIBILITY

Fields inherited from interface com.intellij.psi.NavigatablePsiElement

EMPTY_NAVIGATABLE_ELEMENT_ARRAY

Fields inherited from interface com.intellij.navigation.NavigationItem

EMPTY_NAVIGATION_ITEM_ARRAY

Method Summary

Modifier and Type	Method and Description
PsiType	getFunctionalInterfaceType()
PsiType	getGroundTargetType(PsiType functionalInterfaceType) JLS 9.9.
default boolean	isAcceptable(PsiType left)
boolean	isAcceptable(PsiType left, PsiMethod method)
boolean	isPotentiallyCompatible(PsiType left) Potentially compatible check takes into account the presence and "shape" of functional interface target types.

Methods inherited from interface com.intellij.psi.PsiExpression

getType

Methods inherited from interface com.intellij.psi.PsiElement

accept, acceptChildren, add, addAfter, addBefore, addRange, addRangeAfter, addRangeBefore, checkAdd, checkDelete, copy, delete, deleteChildRange, findElementAt, findReferenceAt, getChildren, getContainingFile, getContext, getCopyableUserData, getFirstChild, getLanguage, getLastChild, getManager, getNavigationElement, getNextSibling, getNode, getOriginalElement, getOwnReferences, getParent, getPrevSibling, getProject, getReference, getReferences, getResolveScope, getStartOffsetInParent, getText, getTextLength, getTextOffset, getTextRange, getTextRangeInParent, getUseScope, isEquivalentTo, isPhysical, isValid, isWritable, processDeclarations, putCopyableUserData, replace, textContains, textMatches, textMatches, textToCharArray, toString

Methods inherited from interface com.intellij.openapi.util.UserDataHolder

getUserData, putUserData

Methods inherited from interface com.intellij.openapi.util.Iconable

getIcon

Methods inherited from interface com.intellij.navigation.NavigationItem

getName, getPresentation

Methods inherited from interface com.intellij.pom.Navigatable

canNavigate, canNavigateToSource, navigate

Field Detail

EMPTY_ARRAY

static final PsiFunctionalExpression[] EMPTY_ARRAY

Method Detail

getFunctionalInterfaceType

PsiType getFunctionalInterfaceType()

Returns:

SAM type the lambda expression corresponds to or null when no SAM type could be found

isAcceptable

default boolean isAcceptable(PsiType left)

Returns:

true if assignment SAM s = expr is correctly shaped

isAcceptable

boolean isAcceptable(PsiType left,
                     PsiMethod method)

Parameters:

method -

Returns:

true if assignment SAM s = expr is correctly shaped

isPotentiallyCompatible

boolean isPotentiallyCompatible(PsiType left)

Potentially compatible check takes into account the presence and "shape" of functional interface target types. JLS placement: 15.12.2.1 Identify Potentially Applicable Methods A member method is potentially applicable to a method invocation if and only if all of the following are true: The name of the member is identical to the name of the method in the method invocation. The member is accessible (p6.6) to the class or interface in which the method invocation appears. If the member is a fixed arity method with arity n, the arity of the method invocation is equal to n, and for all i (1 <= i <= n), the i'th argument of the method invocation is potentially compatible, as defined below, with the type of the i'th parameter of the method. If the member is a variable arity method with arity n, etc

getGroundTargetType

PsiType getGroundTargetType(PsiType functionalInterfaceType)

JLS 9.9. Function Types: When a generic functional interface is parameterized by wildcards, there are many different instantiations that could satisfy the wildcard and produce different function types. Sometimes, it is possible to known from the context, such as the parameter types of a lambda expression, which function type is intended (15.27.3). Other times, it is necessary to pick one; in these circumstances, the bounds are used.