jls overridding description

konstantin barzilovich konstantin.barzilovich at oracle.com
Wed May 6 15:27:33 UTC 2015


In Chapter 8 of jls there is assertion jls-
"An instance method mc, declared in or inherited by class C, overrides 
from C another method ma, declared in class A, iff all of the following 
are true: "
  which describe conditions of overriding of classes methods. As I 
understand, one of jls-
"C doesn't inherit ma"
  and jls-
"The signature of mc is a subsignature of the signature of ma"
  is redundant because if we omit, for example, jls-,
no cases will be missed. The same situation takes place in 
jls- afterJDK-8071453 Allow interface methods to be private 
is solved. <https://bugs.openjdk.java.net/browse/JDK-8071453>
Am I missing anything?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/compiler-dev/attachments/20150506/b31abd6e/attachment.html>

More information about the compiler-dev mailing list