org.jetbrains.kotlin.types.expressions
Class ExpressionTypingServices

java.lang.Object
  org.jetbrains.kotlin.types.expressions.ExpressionTypingServices

public class ExpressionTypingServices
extends java.lang.Object

Constructor Summary

ExpressionTypingServices(ExpressionTypingComponents components)

Method Summary

void	checkFunctionReturnType(JetScope functionInnerScope, JetDeclarationWithBody function, FunctionDescriptor functionDescriptor, DataFlowInfo dataFlowInfo, JetType expectedReturnType, BindingTrace trace)
JetTypeInfo	getBlockReturnedType(JetBlockExpression expression, CoercionStrategy coercionStrategyForLastExpression, ExpressionTypingContext context)
JetTypeInfo	getBlockReturnedType(JetBlockExpression expression, ExpressionTypingContext context, boolean isStatement)
JetType	getBodyExpressionType(BindingTrace trace, JetScope outerScope, DataFlowInfo dataFlowInfo, JetDeclarationWithBody function, FunctionDescriptor functionDescriptor)
JetType	getType(JetScope scope, JetExpression expression, JetType expectedType, DataFlowInfo dataFlowInfo, BindingTrace trace)
JetTypeInfo	getTypeInfo(JetExpression expression, ResolutionContext resolutionContext)
JetTypeInfo	getTypeInfo(JetScope scope, JetExpression expression, JetType expectedType, DataFlowInfo dataFlowInfo, BindingTrace trace)
JetType	safeGetType(JetScope scope, JetExpression expression, JetType expectedType, DataFlowInfo dataFlowInfo, BindingTrace trace)
void	setStatementFilter(StatementFilter statementFilter)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExpressionTypingServices

public ExpressionTypingServices(@NotNull
                                ExpressionTypingComponents components)

Method Detail

setStatementFilter

@Inject
public void setStatementFilter(@NotNull
                                      StatementFilter statementFilter)

safeGetType

@NotNull
public JetType safeGetType(@NotNull
                                   JetScope scope,
                                   @NotNull
                                   JetExpression expression,
                                   @NotNull
                                   JetType expectedType,
                                   @NotNull
                                   DataFlowInfo dataFlowInfo,
                                   @NotNull
                                   BindingTrace trace)

getTypeInfo

@NotNull
public JetTypeInfo getTypeInfo(@NotNull
                                       JetScope scope,
                                       @NotNull
                                       JetExpression expression,
                                       @NotNull
                                       JetType expectedType,
                                       @NotNull
                                       DataFlowInfo dataFlowInfo,
                                       @NotNull
                                       BindingTrace trace)

getTypeInfo

@NotNull
public JetTypeInfo getTypeInfo(@NotNull
                                       JetExpression expression,
                                       @NotNull
                                       ResolutionContext resolutionContext)

getType

@Nullable
public JetType getType(@NotNull
                                JetScope scope,
                                @NotNull
                                JetExpression expression,
                                @NotNull
                                JetType expectedType,
                                @NotNull
                                DataFlowInfo dataFlowInfo,
                                @NotNull
                                BindingTrace trace)

checkFunctionReturnType

public void checkFunctionReturnType(@NotNull
                                    JetScope functionInnerScope,
                                    @NotNull
                                    JetDeclarationWithBody function,
                                    @NotNull
                                    FunctionDescriptor functionDescriptor,
                                    @NotNull
                                    DataFlowInfo dataFlowInfo,
                                    @Nullable
                                    JetType expectedReturnType,
                                    BindingTrace trace)

getBlockReturnedType

@NotNull
public JetTypeInfo getBlockReturnedType(JetBlockExpression expression,
                                                ExpressionTypingContext context,
                                                boolean isStatement)

getBlockReturnedType

@NotNull
public JetTypeInfo getBlockReturnedType(@NotNull
                                                JetBlockExpression expression,
                                                @NotNull
                                                CoercionStrategy coercionStrategyForLastExpression,
                                                @NotNull
                                                ExpressionTypingContext context)

getBodyExpressionType

@NotNull
public JetType getBodyExpressionType(@NotNull
                                             BindingTrace trace,
                                             @NotNull
                                             JetScope outerScope,
                                             @NotNull
                                             DataFlowInfo dataFlowInfo,
                                             @NotNull
                                             JetDeclarationWithBody function,
                                             @NotNull
                                             FunctionDescriptor functionDescriptor)