JDK-8158008 : 8.1.4: Clarify "the fully qualified form"
  • Type: Bug
  • Component: specification
  • Sub-Component: language
  • Priority: P4
  • Status: Open
  • Resolution: Unresolved
  • Submitted: 2016-05-26
  • Updated: 2016-05-26
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
Other
tbd_majorUnresolved
Related Reports
Relates :  
Description
Per JDK-8041994, the language about dependencies between classes and their supertypes was updated to include enclosing classes.

"A class C directly depends on a type T if T is mentioned in the extends or implements clause of C either as a superclass or superinterface, or as a qualifier in the fully qualified form of a superclass or superinterface name."

It's not clear what "the fully qualified form" means -- some classes have many fully-qualified names, and some have none (6.7).  Might want "the canonical form", but again not all classes have canonical names, and also it seems like "B.C" depends on B, even if the canonical form is "A.C".

Perhaps a more direct definition of dependency, that explicitly enumerates both type qualifiers and class declarations' enclosing classes?