}
{@code m2 = ...; // B.m }
{@code assert ! elements.overrides(m1, m2,elements.getTypeElement("A")); } When viewed as a member of a third type {@code C}, however, the method in {@code A} does override the one in {@code B}:
{@code} class C extends A implements B
...
{@code assert elements.overrides(m1, m2,elements.getTypeElement("C")); }
@param overrider the first method, possible overrider
@param overridden the second method, possibly being overridden
@param type the type of which the first method is a member
@return {@code true} if and only if the first method overridesthe second
@jls 8.4.8 Inheritance, Overriding, and Hiding
@jls 9.4.1 Inheritance and Overriding