Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Missing entries in InnerClasses attribute of class files #4983

Closed
scabug opened this issue Sep 9, 2011 · 3 comments
Closed

Missing entries in InnerClasses attribute of class files #4983

scabug opened this issue Sep 9, 2011 · 3 comments
Assignees
Milestone

Comments

@scabug
Copy link

scabug commented Sep 9, 2011

Compile following code:

class X {
  class Y {
    class Z {
      class Z2
    }
  }
}

and check InnerClasses attribute for Z2, it'll print:

  InnerClass: 
   public #32= #29 of #31; //Z=class X$Y$Z of class X$Y
   public #33= #10 of #29; //Z2=class X$Y$Z$Z2 of class X$Y$Z

which is incomplete because entry for Y (being inner class of X) is missing.

For definition of InnerClass attribute check JVM spec. 4.8.5.

Also, checked that Java compiler generates complete table in corresponding case.

@scabug
Copy link
Author

scabug commented Sep 9, 2011

Imported From: https://issues.scala-lang.org/browse/SI-4983?orig=1
Reporter: @gkossakowski
Affected Versions: 2.9.2

@scabug
Copy link
Author

scabug commented Sep 9, 2011

Commit Message Bot (anonymous) said:
(grek in r25639) Fix various InnerClasses bugs.

This commit fixes two major problems:

  1. InnerClasses table missed entries
    that would close the chain between
    nested and top-level class.

  2. In some situations, classes
    corresponding to objects would be
    not be reported in the InnerClasses
    table.

For details it's the best to check #4819, #4820 and
#4983.

First problem mentioned above was straightforward to
fix so I won't be going into details.

The second one deserves more attention. From now, classes
corresponding to objects are properly reported as inner
classes. Also, members (classes, objects) of objects are
reported as inner classes of classes corresponding to
objects.

There's one caveat though: top level objects get two
classes (regular and mirror). Members of top-level
objects are declared as inner classes of mirror class
and not regular one. The reason for that is to allow
importing them from Java. For example:

object A { class B }

will be compiled into following classes: A, A$, A$B.
If we declared A$B as inner class of A$ (regular class
for objects) then it would be impossible to import
B using "import A.B" or "import A$.B" constructs. The
reason for that is that Java compiler seems to blindly
put dollars instead of looking at InnerClasses attribute.

Since non-top-level objects don't have a mirror class
it's impossible to use the same solution. Thus, in case
like this:

object A { object B { class C } }

it's impossible to import C from Java. That's the tradeoff
for fixing other (more serious) problems. It's never been
possible to do that in a clean way so we are not making
situation worse.

As a nice consequence of this change, we get better way to
refer to inner members of top-level objects. It's been
reflected in one of test-cases that is updated by this
change.

Fixes #4789 #4819 #4820 #4983 and possibly some
other tickets related to reflection.

Review by extempore, dragos.

@scabug
Copy link
Author

scabug commented Nov 10, 2011

@gkossakowski said:
Fixed in r25639.

@scabug scabug closed this as completed Nov 10, 2011
@scabug scabug added this to the 2.10.0 milestone Apr 7, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants