From c0eae952a2bd2a7fd8ee41ea419e179c562fb9b0 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <abreslav@abreslav-mac.labs.intellij.net>
Date: Wed, 19 Oct 2011 12:50:22 +0400
Subject: [PATCH] Docs for ResolvedCall

---
 .../jetbrains/jet/lang/resolve/calls/ResolvedCall.java | 10 +++++++---
 .../jet/lang/resolve/calls/ResolvedCallImpl.java       |  2 +-
 2 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/ResolvedCall.java b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/ResolvedCall.java
index 51f9b36ffe7..521e7063eba 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/ResolvedCall.java
+++ b/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();
 }
diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/ResolvedCallImpl.java b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/ResolvedCallImpl.java
index c59bdc39a0d..bf95a59a1c1 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/ResolvedCallImpl.java
+++ b/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;