org.jetbrains.jet.lang.resolve.calls
Class ArgumentTypeResolver

java.lang.Object
  org.jetbrains.jet.lang.resolve.calls.ArgumentTypeResolver

public class ArgumentTypeResolver
extends java.lang.Object

Constructor Summary

ArgumentTypeResolver()

Method Summary

<D extends CallableDescriptor> void	checkTypesForFunctionArguments(CallResolutionContext<?> context, ResolvedCallImpl<D> resolvedCall)
void	checkTypesForFunctionArgumentsWithNoCallee(CallResolutionContext<?> context)
void	checkTypesWithNoCallee(CallResolutionContext<?> context)
void	checkTypesWithNoCallee(CallResolutionContext<?> context, CallResolverUtil.ResolveArgumentsMode resolveFunctionArgumentBodies)
void	checkUnmappedArgumentTypes(CallResolutionContext<?> context, java.util.Set<ValueArgument> unmappedArguments)
JetTypeInfo	getArgumentTypeInfo(JetExpression expression, CallResolutionContext<?> context, CallResolverUtil.ResolveArgumentsMode resolveArgumentsMode, TemporaryBindingTrace traceToCommitForCall)
JetTypeInfo	getFunctionLiteralTypeInfo(JetFunctionLiteralExpression functionLiteralExpression, CallResolutionContext<?> context, CallResolverUtil.ResolveArgumentsMode resolveArgumentsMode)
static boolean	isSubtypeOfForArgumentType(JetType subtype, JetType supertype)
JetType	resolveTypeRefWithDefault(JetTypeReference returnTypeRef, JetScope scope, BindingTrace trace, JetType defaultValue)
void	setExpressionTypingServices(ExpressionTypingServices expressionTypingServices)
void	setTypeResolver(TypeResolver typeResolver)

Methods inherited from class java.lang.Object

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

Constructor Detail

ArgumentTypeResolver

public ArgumentTypeResolver()

Method Detail

setTypeResolver

@Inject
public void setTypeResolver(@NotNull
                                   TypeResolver typeResolver)

setExpressionTypingServices

@Inject
public void setExpressionTypingServices(@NotNull
                                               ExpressionTypingServices expressionTypingServices)

isSubtypeOfForArgumentType

public static boolean isSubtypeOfForArgumentType(@NotNull
                                                 JetType subtype,
                                                 @NotNull
                                                 JetType supertype)

checkTypesWithNoCallee

public void checkTypesWithNoCallee(@NotNull
                                   CallResolutionContext<?> context)

checkTypesWithNoCallee

public void checkTypesWithNoCallee(@NotNull
                                   CallResolutionContext<?> context,
                                   @NotNull
                                   CallResolverUtil.ResolveArgumentsMode resolveFunctionArgumentBodies)

checkTypesForFunctionArgumentsWithNoCallee

public void checkTypesForFunctionArgumentsWithNoCallee(@NotNull
                                                       CallResolutionContext<?> context)

checkUnmappedArgumentTypes

public void checkUnmappedArgumentTypes(CallResolutionContext<?> context,
                                       java.util.Set<ValueArgument> unmappedArguments)

checkTypesForFunctionArguments

public <D extends CallableDescriptor> void checkTypesForFunctionArguments(CallResolutionContext<?> context,
                                                                          ResolvedCallImpl<D> resolvedCall)

getArgumentTypeInfo

@NotNull
public JetTypeInfo getArgumentTypeInfo(@Nullable
                                               JetExpression expression,
                                               @NotNull
                                               CallResolutionContext<?> context,
                                               @NotNull
                                               CallResolverUtil.ResolveArgumentsMode resolveArgumentsMode,
                                               @Nullable
                                               TemporaryBindingTrace traceToCommitForCall)

getFunctionLiteralTypeInfo

@NotNull
public JetTypeInfo getFunctionLiteralTypeInfo(@NotNull
                                                      JetFunctionLiteralExpression functionLiteralExpression,
                                                      @NotNull
                                                      CallResolutionContext<?> context,
                                                      @NotNull
                                                      CallResolverUtil.ResolveArgumentsMode resolveArgumentsMode)

resolveTypeRefWithDefault

@Nullable
public JetType resolveTypeRefWithDefault(@Nullable
                                                  JetTypeReference returnTypeRef,
                                                  @NotNull
                                                  JetScope scope,
                                                  @NotNull
                                                  BindingTrace trace,
                                                  @Nullable
                                                  JetType defaultValue)