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

java.lang.Object
  extended by org.jetbrains.jet.lang.types.expressions.ExpressionTypingServices

public class ExpressionTypingServices
extends java.lang.Object


Constructor Summary
ExpressionTypingServices()
           
 
Method Summary
 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)