java/9547: member type access not respected

[tromey at redhat dot com]

>Number:         9547
>Category:       java
>Synopsis:       member type access not respected
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Mon Feb 03 18:06:00 UTC 2003
>Closed-Date:
>Last-Modified:
>Originator:     Tom Tromey
>Release:        unknown-1.0
>Organization:
>Environment:

>Description:
Right now gcj will let a subclass see member type defined
in a superclass, even if that member type has default
access protection and the two classes are in different
packages.

For instance, this code compiles but should not.

package one;

import two.*;

public class o extends t
{
  boolean doit(Object x)
  {
    return x instanceof Res;
  }
}
package two;

public class t
{
  class Res
  {
  }
}


>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: