org.jetbrains.jet.lang.types.expressions

Class ExpressionTypingServices

java.lang.Object

org.jetbrains.jet.lang.types.expressions.ExpressionTypingServices

public class ExpressionTypingServices
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ExpressionTypingServices()

Method Summary

Methods

Modifier and Type	Method and Description
void	checkFunctionReturnType(JetScope functionInnerScope, JetDeclarationWithBody function, FunctionDescriptor functionDescriptor, DataFlowInfo dataFlowInfo, JetType expectedReturnType, BindingTrace trace)
JetExpression	deparenthesize(JetExpression expression, ExpressionTypingContext context)
JetTypeInfo	getBlockReturnedType(JetScope outerScope, JetBlockExpression expression, CoercionStrategy coercionStrategyForLastExpression, ExpressionTypingContext context, BindingTrace trace)
CallExpressionResolver	getCallExpressionResolver()
CallResolver	getCallResolver()
DescriptorResolver	getDescriptorResolver()
com.intellij.openapi.project.Project	getProject()
JetType	getType(JetScope scope, JetExpression expression, JetType expectedType, DataFlowInfo dataFlowInfo, BindingTrace trace)
JetTypeInfo	getTypeInfo(JetScope scope, JetExpression expression, JetType expectedType, DataFlowInfo dataFlowInfo, BindingTrace trace)
JetTypeInfo	getTypeInfoWithNamespaces(JetExpression expression, JetScope scope, JetType expectedType, DataFlowInfo dataFlowInfo, BindingTrace trace)
TypeResolver	getTypeResolver()
JetType	inferFunctionReturnType(JetScope outerScope, JetDeclarationWithBody function, FunctionDescriptor functionDescriptor, BindingTrace trace)
JetType	safeGetType(JetScope scope, JetExpression expression, JetType expectedType, DataFlowInfo dataFlowInfo, BindingTrace trace)
void	setCallExpressionResolver(CallExpressionResolver callExpressionResolver)
void	setCallResolver(CallResolver callResolver)
void	setDescriptorResolver(DescriptorResolver descriptorResolver)
void	setProject(com.intellij.openapi.project.Project project)
void	setTypeResolver(TypeResolver typeResolver)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExpressionTypingServices

public ExpressionTypingServices()

Method Detail

getProject

@NotNull
public com.intellij.openapi.project.Project getProject()

setProject

@Inject
public void setProject(@NotNull
                     com.intellij.openapi.project.Project project)

getCallResolver

@NotNull
public CallResolver getCallResolver()

setCallResolver

@Inject
public void setCallResolver(@NotNull
                          CallResolver callResolver)

getCallExpressionResolver

@NotNull
public CallExpressionResolver getCallExpressionResolver()

setCallExpressionResolver

@Inject
public void setCallExpressionResolver(@NotNull
                                    CallExpressionResolver callExpressionResolver)

getDescriptorResolver

@NotNull
public DescriptorResolver getDescriptorResolver()

setDescriptorResolver

@Inject
public void setDescriptorResolver(@NotNull
                                DescriptorResolver descriptorResolver)

getTypeResolver

@NotNull
public TypeResolver getTypeResolver()

setTypeResolver

@Inject
public void setTypeResolver(@NotNull
                          TypeResolver typeResolver)

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)

getType

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

getTypeInfoWithNamespaces

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

inferFunctionReturnType

@NotNull
public JetType inferFunctionReturnType(@NotNull
                                      JetScope outerScope,
                                      @NotNull
                                      JetDeclarationWithBody function,
                                      @NotNull
                                      FunctionDescriptor functionDescriptor,
                                      @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(@NotNull
                                       JetScope outerScope,
                                       @NotNull
                                       JetBlockExpression expression,
                                       @NotNull
                                       CoercionStrategy coercionStrategyForLastExpression,
                                       ExpressionTypingContext context,
                                       BindingTrace trace)

deparenthesize

@Nullable
public JetExpression deparenthesize(@NotNull
                                    JetExpression expression,
                                    @NotNull
                                    ExpressionTypingContext context)