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(ExpressionTypingComponents components)
           
 
Method Summary
 void checkFunctionReturnType(JetScope functionInnerScope, JetDeclarationWithBody function, FunctionDescriptor functionDescriptor, DataFlowInfo dataFlowInfo, JetType expectedReturnType, BindingTrace trace)
           
 CallResolverExtension createExtension(JetScope scope, boolean isAnnotationContext)
           
 JetExpression deparenthesizeWithTypeResolution(JetExpression expression, ExpressionTypingContext context)
           
 AnnotationResolver getAnnotationResolver()
           
 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)
           
 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(JetExpression expression, ResolutionContext resolutionContext)
           
 JetTypeInfo getTypeInfo(JetScope scope, JetExpression expression, JetType expectedType, DataFlowInfo dataFlowInfo, BindingTrace trace)
           
 TypeResolver getTypeResolver()
           
 void resolveValueParameters(java.util.List<JetParameter> valueParameters, java.util.List<ValueParameterDescriptor> valueParameterDescriptors, JetScope declaringScope, DataFlowInfo dataFlowInfo, BindingTrace trace, boolean needCompleteAnalysis)
           
 JetType safeGetType(JetScope scope, JetExpression expression, JetType expectedType, DataFlowInfo dataFlowInfo, BindingTrace trace)
           
 void setAnnotationResolver(AnnotationResolver annotationResolver)
           
 void setCallExpressionResolver(CallExpressionResolver callExpressionResolver)
           
 void setCallResolver(CallResolver callResolver)
           
 void setDescriptorResolver(DescriptorResolver descriptorResolver)
           
 void setExtensionProvider(CallResolverExtensionProvider extensionProvider)
           
 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(@NotNull
                                ExpressionTypingComponents components)
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)

getAnnotationResolver

@NotNull
public AnnotationResolver getAnnotationResolver()

setAnnotationResolver

@Inject
public void setAnnotationResolver(@NotNull
                                         AnnotationResolver annotationResolver)

setExtensionProvider

@Inject
public void setExtensionProvider(@NotNull
                                        CallResolverExtensionProvider extensionProvider)

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)

deparenthesizeWithTypeResolution

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

resolveValueParameters

public void resolveValueParameters(@NotNull
                                   java.util.List<JetParameter> valueParameters,
                                   @NotNull
                                   java.util.List<ValueParameterDescriptor> valueParameterDescriptors,
                                   @NotNull
                                   JetScope declaringScope,
                                   @NotNull
                                   DataFlowInfo dataFlowInfo,
                                   @NotNull
                                   BindingTrace trace,
                                   boolean needCompleteAnalysis)

createExtension

@NotNull
public CallResolverExtension createExtension(@NotNull
                                                     JetScope scope,
                                                     boolean isAnnotationContext)