Details
-
Bug
-
Resolution: Fixed
-
P4
-
20
-
b28
Backports
| Issue | Fix Version | Assignee | Priority | Status | Resolution | Resolved In Build |
|---|---|---|---|---|---|---|
| JDK-8298800 | 21 | Joe Darcy | P4 | Resolved | Fixed | b03 |
Description
javax.lang.model.util.Elements#overrides should explicitly say that javax.lang.model.util.Elements#overrides(m, m, ...) returns false. That is, a method never overrides itself.
While it might be obvious to some, to others it is buried in JLS 8.4.8.1. It could be helpful to have that invariant spelled out because a programmer uses that API to build algorithms. At the very least, the programmer might want to know if they need to use an additional equality check:
if ( elements.overrides(m1, m2, ...) && !m1.equals(m2) )
While it might be obvious to some, to others it is buried in JLS 8.4.8.1. It could be helpful to have that invariant spelled out because a programmer uses that API to build algorithms. At the very least, the programmer might want to know if they need to use an additional equality check:
if ( elements.overrides(m1, m2, ...) && !m1.equals(m2) )
Attachments
Issue Links
- backported by
-
JDK-8298800 Clarify that javax.lang.model.util.Elements.overrides is irreflexive
-
- Resolved
-
- csr for
-
JDK-8298698 Clarify that javax.lang.model.util.Elements.overrides is irreflexive
-
- Closed
-
