org.jetbrains.jet.lang.resolve.calls.model
Interface MutableResolvedCall<D extends CallableDescriptor>

All Superinterfaces:

ResolvedCall<D>

All Known Implementing Classes:

ResolvedCallImpl

public interface MutableResolvedCall<D extends CallableDescriptor>
extends ResolvedCall<D>

Method Summary

void	addStatus(ResolutionStatus status)
void	addUnmappedArguments(java.util.Collection<? extends ValueArgument> unmappedArguments)
void	argumentHasNoType()
ConstraintSystem	getConstraintSystem()
MutableDataFlowInfoForArguments	getDataFlowInfoForArguments() Data flow info for each argument and the result data flow info
ResolutionStatus	getStatus()
DelegatingBindingTrace	getTrace()
java.util.Set<ValueArgument>	getUnmappedArguments()
boolean	hasIncompleteTypeParameters() Resolved call can have incomplete type parameters if ResolutionStatus is INCOMPLETE_TYPE_INFERENCE (might be completed successfully) or OTHER_ERROR (cannot be completed successfully, but if there's only one candidate, should be completed anyway).
boolean	hasInferredReturnType()
boolean	isCompleted()
boolean	isDirty()
void	markCallAsCompleted()
void	recordArgumentMatch(ValueArgument valueArgument, ValueParameterDescriptor parameter, boolean hasTypeMismatch)
void	recordValueArgument(ValueParameterDescriptor valueParameter, ResolvedValueArgument valueArgument)
void	setConstraintSystem(ConstraintSystem constraintSystem)
void	setHasIncompleteTypeParameters(boolean hasIncompleteTypeParameters)
void	setInitialDataFlowInfo(DataFlowInfo info)
void	setResultingSubstitutor(TypeSubstitutor substitutor)
void	setStatusToSuccess()

Methods inherited from interface org.jetbrains.jet.lang.resolve.calls.model.ResolvedCall

getArgumentMapping, getCall, getCandidateDescriptor, getExplicitReceiverKind, getReceiverArgument, getResultingDescriptor, getThisObject, getTypeArguments, getValueArguments, getValueArgumentsByIndex, isSafeCall

Method Detail

getStatus

@NotNull
ResolutionStatus getStatus()

addStatus

void addStatus(@NotNull
               ResolutionStatus status)

setStatusToSuccess

void setStatusToSuccess()

hasIncompleteTypeParameters

boolean hasIncompleteTypeParameters()

Resolved call can have incomplete type parameters if ResolutionStatus is INCOMPLETE_TYPE_INFERENCE (might be completed successfully) or OTHER_ERROR (cannot be completed successfully, but if there's only one candidate, should be completed anyway).

Returns:

true if resolved call has unknown type parameters (inference is incomplete)

setHasIncompleteTypeParameters

void setHasIncompleteTypeParameters(boolean hasIncompleteTypeParameters)

isDirty

boolean isDirty()

argumentHasNoType

void argumentHasNoType()

getTrace

@NotNull
DelegatingBindingTrace getTrace()

markCallAsCompleted

void markCallAsCompleted()

isCompleted

boolean isCompleted()

recordValueArgument

void recordValueArgument(@NotNull
                         ValueParameterDescriptor valueParameter,
                         @NotNull
                         ResolvedValueArgument valueArgument)

recordArgumentMatch

void recordArgumentMatch(@NotNull
                         ValueArgument valueArgument,
                         @NotNull
                         ValueParameterDescriptor parameter,
                         boolean hasTypeMismatch)

getUnmappedArguments

@NotNull
java.util.Set<ValueArgument> getUnmappedArguments()

addUnmappedArguments

void addUnmappedArguments(@NotNull
                          java.util.Collection<? extends ValueArgument> unmappedArguments)

getDataFlowInfoForArguments

@NotNull
MutableDataFlowInfoForArguments getDataFlowInfoForArguments()

Description copied from interface: ResolvedCall

Data flow info for each argument and the result data flow info

Specified by:

getDataFlowInfoForArguments in interface ResolvedCall<D extends CallableDescriptor>

setInitialDataFlowInfo

void setInitialDataFlowInfo(@NotNull
                            DataFlowInfo info)

getConstraintSystem

@Nullable
ConstraintSystem getConstraintSystem()

setConstraintSystem

void setConstraintSystem(@NotNull
                         ConstraintSystem constraintSystem)

setResultingSubstitutor

void setResultingSubstitutor(@NotNull
                             TypeSubstitutor substitutor)

hasInferredReturnType

boolean hasInferredReturnType()