org.aspectj.org.eclipse.jdt.internal.compiler.ast

Interface IPolyExpression

All Known Implementing Classes:

AllocationExpression, CodeSnippetAllocationExpression, CodeSnippetMessageSend, CompletionOnJavadocAllocationExpression, CompletionOnJavadocMessageSend, CompletionOnMessageSend, CompletionOnMessageSendName, CompletionOnQualifiedAllocationExpression, CompletionOnReferenceExpressionName, ConditionalExpression, JavadocAllocationExpression, JavadocMessageSend, KnownMessageSend, LambdaExpression, MessageSend, Proceed, QualifiedAllocationExpression, ReferenceExpression, SelectionOnLambdaExpression, SelectionOnMessageSend, SelectionOnQualifiedAllocationExpression, SelectionOnReferenceExpression, SelectionOnReferenceExpressionName, SwitchExpression

public interface IPolyExpression

Contract to be implemented by all poly expressions and potential poly expressions for uniform integration into overload resolution and type inference. Additional contracts may be imposed by Invocation and InvocationSite. For most contracts "default" implementations are furnished by Expression or Statement or by ASTNode and the poly expression should suitably override where required.

See Also:

PolyTypeBinding, ExpressionContext

Method Summary

Modifier and Type	Method and Description
ExpressionContext	getExpressionContext()
Expression[]	getPolyExpressions()
TypeBinding	invocationTargetType()
boolean	isBoxingCompatibleWith(TypeBinding targetType, Scope scope)
boolean	isCompatibleWith(TypeBinding targetType, Scope scope)
boolean	isFunctionalType()
boolean	isPertinentToApplicability(TypeBinding targetType, MethodBinding method)
boolean	isPolyExpression()
boolean	isPolyExpression(MethodBinding candidate)
boolean	isPotentiallyCompatibleWith(TypeBinding targetType, Scope scope)
Expression	resolveExpressionExpecting(TypeBinding targetType, Scope scope, InferenceContext18 inferenceContext)
TypeBinding	resolveType(BlockScope blockScope)
void	setExpectedType(TypeBinding targetType)
void	setExpressionContext(ExpressionContext context)
boolean	sIsMoreSpecific(TypeBinding s, TypeBinding t, Scope skope)

Method Detail

setExpressionContext

void setExpressionContext(ExpressionContext context)

getExpressionContext

ExpressionContext getExpressionContext()

setExpectedType

void setExpectedType(TypeBinding targetType)

invocationTargetType

TypeBinding invocationTargetType()

isPotentiallyCompatibleWith

boolean isPotentiallyCompatibleWith(TypeBinding targetType,
                                    Scope scope)

isCompatibleWith

boolean isCompatibleWith(TypeBinding targetType,
                         Scope scope)

isBoxingCompatibleWith

boolean isBoxingCompatibleWith(TypeBinding targetType,
                               Scope scope)

sIsMoreSpecific

boolean sIsMoreSpecific(TypeBinding s,
                        TypeBinding t,
                        Scope skope)

isPertinentToApplicability

boolean isPertinentToApplicability(TypeBinding targetType,
                                   MethodBinding method)

isPolyExpression

boolean isPolyExpression(MethodBinding candidate)

isPolyExpression

boolean isPolyExpression()

isFunctionalType

boolean isFunctionalType()

getPolyExpressions

Expression[] getPolyExpressions()

resolveType

TypeBinding resolveType(BlockScope blockScope)

resolveExpressionExpecting

Expression resolveExpressionExpecting(TypeBinding targetType,
                                      Scope scope,
                                      InferenceContext18 inferenceContext)