8225465: Add @jls tags to receiver type methods

Reviewed-by: lancea, jjg

src/java.base/share/classes/java/lang/reflect/Executable.java

@@ -673,6 +673,10 @@ public abstract class Executable extends AccessibleObject
      * @return an object representing the receiver type of the method or
      * constructor represented by this {@code Executable} or {@code null} if
      * this {@code Executable} can not have a receiver parameter
+     *
+     * @jls 8.4 Method Declarations
+     * @jls 8.4.1 Formal Parameters
+     * @jls 8.8 Constructor Declarations
      */
     public AnnotatedType getAnnotatedReceiverType() {
         if (Modifier.isStatic(this.getModifiers()))

src/java.compiler/share/classes/javax/lang/model/element/ExecutableElement.java

@@ -95,6 +95,10 @@ public interface ExecutableElement extends Element, Parameterizable {
      *
      * @return the receiver type of this executable
      * @since 1.8
+     *
+     * @jls 8.4 Method Declarations
+     * @jls 8.4.1 Formal Parameters
+     * @jls 8.8 Constructor Declarations
      */
     TypeMirror getReceiverType();
 

src/java.compiler/share/classes/javax/lang/model/type/ExecutableType.java

@@ -92,6 +92,10 @@ public interface ExecutableType extends TypeMirror {
      *
      * @return the receiver type of this executable
      * @since 1.8
+     *
+     * @jls 8.4 Method Declarations
+     * @jls 8.4.1 Formal Parameters
+     * @jls 8.8 Constructor Declarations
      */
     TypeMirror getReceiverType();