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

All Known Subinterfaces:

ResolvedCallWithTrace<D>

All Known Implementing Classes:

DelegatingResolvedCall, ResolvedCallImpl, VariableAsFunctionResolvedCall

public interface ResolvedCall<D extends CallableDescriptor>

Method Summary

D	getCandidateDescriptor() A target callable descriptor as it was accessible in the corresponding scope, i.e.
DataFlowInfo	getDataFlowInfo()
ExplicitReceiverKind	getExplicitReceiverKind() Determines whether receiver argument or this object is substituted for explicit receiver
ReceiverValue	getReceiverArgument() If the target was an extension function or property, this is the value for its receiver parameter
D	getResultingDescriptor() Type arguments are substituted.
ReceiverValue	getThisObject() If the target was a member of a class, this is the object of that class to call it on
java.util.Map<TypeParameterDescriptor,JetType>	getTypeArguments() What's substituted for type parameters
java.util.Map<ValueParameterDescriptor,ResolvedValueArgument>	getValueArguments() Values (arguments) for value parameters
java.util.List<ResolvedValueArgument>	getValueArgumentsByIndex() Values (arguments) for value parameters indexed by parameter index
boolean	isSafeCall()

Method Detail

getCandidateDescriptor

@NotNull
D getCandidateDescriptor()

A target callable descriptor as it was accessible in the corresponding scope, i.e. with type arguments not substituted

getResultingDescriptor

@NotNull
D getResultingDescriptor()

Type arguments are substituted. This descriptor is guaranteed to have NO declared type parameters

getReceiverArgument

@NotNull
ReceiverValue getReceiverArgument()

If the target was an extension function or property, this is the value for its receiver parameter

getThisObject

@NotNull
ReceiverValue getThisObject()

If the target was a member of a class, this is the object of that class to call it on

getExplicitReceiverKind

@NotNull
ExplicitReceiverKind getExplicitReceiverKind()

Determines whether receiver argument or this object is substituted for explicit receiver

getValueArguments

@NotNull
java.util.Map<ValueParameterDescriptor,ResolvedValueArgument> getValueArguments()

Values (arguments) for value parameters

getValueArgumentsByIndex

@NotNull
java.util.List<ResolvedValueArgument> getValueArgumentsByIndex()

Values (arguments) for value parameters indexed by parameter index

getTypeArguments

@NotNull
java.util.Map<TypeParameterDescriptor,JetType> getTypeArguments()

What's substituted for type parameters

getDataFlowInfo

@NotNull
DataFlowInfo getDataFlowInfo()

isSafeCall

boolean isSafeCall()