Bug 226452

Description Maxime Daniel 2008-04-10 04:27:34 EDT

Detected upon v_852 by walking the compiler AST.

When asking the binding for hashCode on the line marked by 'here' below if it isOverriding, the answer is true.

// X.java
public class X implements I {
	public static void main(String[] args) { 
	  new X().foo(); 
	} 
	public void foo() {
	  System.out.println(hashCode());
	} 
	public int hashCode() {
	  int result = 0;
	  J unique = new J(){};
	  result += unique.hashCode(); // here
	  return result;
	} 
}
interface I {
  public static interface J {
	public int hashCode();
  }
}

If we shuffle the test case a little bit as show below, the answer is false:

// X.java
public class X implements I {
	public static void main(String[] args) { 
	  new X().foo(); 
	} 
	public void foo() {
	  System.out.println(hashCode());
	} 
	public int hashCode() {
	  int result = 0;
	  J unique = new J(){};
	  result += unique.hashCode(); // here
	  return result;
	} 
}
// I.java
public interface I {
  public static interface J {
	public int hashCode();
  }
}

(assuming we compile in a single pass - no binaries involved). While the current behavior of @Overriding does not allow us to check this from the outside (see bug 167262), we would probably want to align behaviors here (upon the former one).