java/2499: Class members should be inherited from implemented interfaces

[mark@klomp.org]

>Number:         2499
>Category:       java
>Synopsis:       Class members should be inherited from implemented interfaces
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          rejects-legal
>Submitter-Id:   net
>Arrival-Date:   Thu Apr 05 16:16:00 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     mark@klomp.org
>Release:        gcc version 2.95.3 20010219 (prerelease)
>Organization:
>Environment:

>Description:
The following legal code is not accepted:

::::::::::::::
I.java
::::::::::::::
interface I {
        class Inner {}
}

::::::::::::::
Test.java
::::::::::::::
class Test implements I {
        void test(Inner i) { }
}


Test.java:2: Type `Inner' not found in the declaration of the argument `i' of method `test'.
   	void test(Inner i) { }
                     ^
1 error

Inner should be visible in Test since it is a class member of the interface I that Test implements.
>How-To-Repeat:

>Fix:

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