8297305: Clarify that javax.lang.model.util.Elements.overrides is irreflexive

jddarcy · jddarcy · commit c6f22b416072 · 2022-12-13T20:48:13.000Z
Reviewed-by: jjg
diff --git a/src/java.compiler/share/classes/javax/lang/model/util/Elements.java b/src/java.compiler/share/classes/javax/lang/model/util/Elements.java
@@ -622,6 +622,8 @@ default TypeElement getOutermostTypeElement(Element e) {
      * overrides another method.
      * When a non-abstract method overrides an abstract one, the
      * former is also said to <i>implement</i> the latter.
+     * As implied by JLS {@jls 8.4.8.1}, a method does <em>not</em>
+     * override itself. The overrides relation is <i>irreflexive</i>.
      *
      * <p> In the simplest and most typical usage, the value of the
      * {@code type} parameter will simply be the class or interface

Original file line number	Diff line number	Diff line change
`@@ -622,6 +622,8 @@ default TypeElement getOutermostTypeElement(Element e) {`
`622`	`622`	`* overrides another method.`
`623`	`623`	`* When a non-abstract method overrides an abstract one, the`
`624`	`624`	`* former is also said to <i>implement</i> the latter.`
	`625`	`+ * As implied by JLS {@jls 8.4.8.1}, a method does <em>not</em>`
	`626`	`+ * override itself. The overrides relation is <i>irreflexive</i>.`
`625`	`627`	`*`
`626`	`628`	`* <p> In the simplest and most typical usage, the value of the`
`627`	`629`	`* {@code type} parameter will simply be the class or interface`