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

Constructors

Constructor and Description
ArgumentTypeResolver()

Method Summary

Methods

Modifier and Type	Method and Description
<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)