Docs for ResolvedCall

compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/ResolvedCall.java

@@ -13,23 +13,27 @@ import java.util.Map;
  * @author abreslav
  */
 public interface ResolvedCall<D extends CallableDescriptor> {
-    @NotNull
-    ResolutionStatus getStatus();
-
+    /** A target callable descriptor as it was accessible in the corresponding scope, i.e. with type parameters not substituted */
     @NotNull
     D getCandidateDescriptor();
 
+    /** Type parameters are substituted */
     @NotNull
     D getResultingDescriptor();
 
+    /** If the target was an extension function or property, this is the value for its receiver parameter */
     @NotNull
     ReceiverDescriptor getReceiverArgument();
 
+    /** If the target was a member of a class, this is the object of that class to call it on */
     @NotNull
     ReceiverDescriptor getThisObject();
 
+    /** Values (arguments) for value parameters */
     @NotNull
     Map<ValueParameterDescriptor, ResolvedValueArgument> getValueArguments();
 
+    /** What's substituted for type parameters */
+    @NotNull
     Map<TypeParameterDescriptor, JetType> getTypeArguments();
 }

compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/ResolvedCallImpl.java

@@ -67,7 +67,6 @@ public class ResolvedCallImpl<D extends CallableDescriptor> implements ResolvedC
         this.candidateDescriptor = candidateDescriptor;
     }
 
-    @Override
     @NotNull
     public ResolutionStatus getStatus() {
         return status;
@@ -152,6 +151,7 @@ public class ResolvedCallImpl<D extends CallableDescriptor> implements ResolvedC
         return someArgumentHasNoType;
     }
 
+    @NotNull
     @Override
     public Map<TypeParameterDescriptor, JetType> getTypeArguments() {
         return typeArguments;