typetools / checker-framework

Pluggable type-checking for Java
http://checkerframework.org/
Other
1.02k stars 355 forks source link

Update StubGenerator to produce stub files in new format. #1488

Open smillst opened 7 years ago

smillst commented 7 years ago

org.checkerframework.framework.stub.StubGenerator

Inner classes should be printed as an inner class rather than Outer$Inner format.

smillst commented 7 years ago

Code in tests.AndroidTests.NotReviewedLibraryCheckerTests should be uncommented once this is fixed. (This is a class in sparta https://github.com/typetools/sparta/blob/master/tests/src/tests/AndroidTests.java.)

mernst commented 7 years ago

@Bohdankm22 , I see a commit about this in the stubgenupd branch of your checker-framework fork, but there isn't any pull request. Is the change in the stubgenupd branch complete, or are you still working on it?

Bohdankm22 commented 6 years ago

@mernst, I was working on the task, but stopped progress as I have big workload at college and job.

mernst commented 6 years ago

@Bohdankm22 , OK, thanks for letting us know. We appreciate your contributions over the summer! You will be welcome to participate again whenever it works for you.

Bohdankm22 commented 6 years ago

@mernst , thank you very much! I really appreciate your time spent on mentoring me.