org.jetbrains.kotlin.resolve.calls
Class CallExpressionResolver

java.lang.Object
  org.jetbrains.kotlin.resolve.calls.CallExpressionResolver

public class CallExpressionResolver
extends java.lang.Object

Constructor Summary

CallExpressionResolver(CallResolver callResolver, ConstantExpressionEvaluator constantExpressionEvaluator, SymbolUsageValidator symbolUsageValidator, DataFlowAnalyzer dataFlowAnalyzer)

Method Summary

JetTypeInfo	getCallExpressionTypeInfo(JetCallExpression callExpression, ReceiverValue receiver, com.intellij.lang.ASTNode callOperationNode, ExpressionTypingContext context)
JetTypeInfo	getCallExpressionTypeInfoWithoutFinalTypeCheck(JetCallExpression callExpression, ReceiverValue receiver, com.intellij.lang.ASTNode callOperationNode, ExpressionTypingContext context) Visits a call expression and its arguments.
JetTypeInfo	getQualifiedExpressionTypeInfo(JetQualifiedExpression expression, ExpressionTypingContext context) Visits a qualified expression like x.y or x?.z controlling data flow information changes.
ResolvedCall<FunctionDescriptor>	getResolvedCallForFunction(Call call, JetExpression callExpression, ResolutionContext context, CheckArgumentTypesMode checkArguments, boolean[] result)
JetTypeInfo	getSimpleNameExpressionTypeInfo(JetSimpleNameExpression nameExpression, ReceiverValue receiver, com.intellij.lang.ASTNode callOperationNode, ExpressionTypingContext context)
void	setExpressionTypingServices(ExpressionTypingServices expressionTypingServices)

Methods inherited from class java.lang.Object

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

Constructor Detail

CallExpressionResolver

public CallExpressionResolver(@NotNull
                              CallResolver callResolver,
                              @NotNull
                              ConstantExpressionEvaluator constantExpressionEvaluator,
                              @NotNull
                              SymbolUsageValidator symbolUsageValidator,
                              @NotNull
                              DataFlowAnalyzer dataFlowAnalyzer)

Method Detail

setExpressionTypingServices

@Inject
public void setExpressionTypingServices(@NotNull
                                               ExpressionTypingServices expressionTypingServices)

getResolvedCallForFunction

@Nullable
public ResolvedCall<FunctionDescriptor> getResolvedCallForFunction(@NotNull
                                                                            Call call,
                                                                            @NotNull
                                                                            JetExpression callExpression,
                                                                            @NotNull
                                                                            ResolutionContext context,
                                                                            @NotNull
                                                                            CheckArgumentTypesMode checkArguments,
                                                                            @NotNull
                                                                            boolean[] result)

getSimpleNameExpressionTypeInfo

@NotNull
public JetTypeInfo getSimpleNameExpressionTypeInfo(@NotNull
                                                           JetSimpleNameExpression nameExpression,
                                                           @NotNull
                                                           ReceiverValue receiver,
                                                           @Nullable
                                                           com.intellij.lang.ASTNode callOperationNode,
                                                           @NotNull
                                                           ExpressionTypingContext context)

getCallExpressionTypeInfo

@NotNull
public JetTypeInfo getCallExpressionTypeInfo(@NotNull
                                                     JetCallExpression callExpression,
                                                     @NotNull
                                                     ReceiverValue receiver,
                                                     @Nullable
                                                     com.intellij.lang.ASTNode callOperationNode,
                                                     @NotNull
                                                     ExpressionTypingContext context)

getCallExpressionTypeInfoWithoutFinalTypeCheck

@NotNull
public JetTypeInfo getCallExpressionTypeInfoWithoutFinalTypeCheck(@NotNull
                                                                          JetCallExpression callExpression,
                                                                          @NotNull
                                                                          ReceiverValue receiver,
                                                                          @Nullable
                                                                          com.intellij.lang.ASTNode callOperationNode,
                                                                          @NotNull
                                                                          ExpressionTypingContext context)

Visits a call expression and its arguments. Determines the result type and data flow information after the call.

getQualifiedExpressionTypeInfo

@NotNull
public JetTypeInfo getQualifiedExpressionTypeInfo(@NotNull
                                                          JetQualifiedExpression expression,
                                                          @NotNull
                                                          ExpressionTypingContext context)

Visits a qualified expression like x.y or x?.z controlling data flow information changes.

Returns:

qualified expression type together with data flow information