Details
P3 Description
Name: viR10068 Date: 02/05/2001
Javac does not follow new edition of the chapter 13 "Binary Compatibility" in JLS-2 and
violates the assertion (13.1 The Form of a Binary): "If the expression is referenced by a
simple name, then if f is a member of the current class or interface, C, then let T be C.
Otherwise, let T be the innermost lexically enclosing class of which f is a member. T is
the qualifying type of the reference."
All javacs till the JDK1.4.0beta-b50 still follow obsolete rules for member binary
references that were stated in JLS 1st ed. In the sample below reference to the
field f ( #2 in Constant Pool ) in the C.class includes name of the class S (#5)
where it is defined. But the ref should include name of the class C that is a
compile-time type of the instance a member of which the field f is.
Javac generates refs to inherited methods in the same way.
This bug affects new JCK tests :
lang/BINC/binc057/binc057.html
lang/BINC/binc058/binc058.html
See the source code for details.
The source code (ó.java) was compiled and decoded (ó.class):
-------------------------- ó.java -------------------------------
class S {
int f = 7;
int x = f;
}
class C extends S {
int y = f;
}
-------------------------- C.class -------------------------------
class C {
0xCAFEBABE;
3; // minor version
45; // version
[] { // Constant Pool
; // first element is empty
Method #5 #14; // #1
Field #5 #15; // #2
Field #4 #16; // #3
class #17; // #4
class #18; // #5
Utf8 "y"; // #6
Utf8 "I"; // #7
Utf8 "<init>"; // #8
Utf8 "()V"; // #9
Utf8 "Code"; // #10
Utf8 "LineNumberTable"; // #11
Utf8 "SourceFile"; // #12
Utf8 "ó.java"; // #13
NameAndType #8 #9; // #14
NameAndType #19 #7; // #15
NameAndType #6 #7; // #16
Utf8 "C"; // #17
Utf8 "S"; // #18
Utf8 "f"; // #19
} // Constant Pool
....
------------------------------------------------------------------
======================================================================