search

eisop / checker-framework

Pluggable type-checking for Java
https://eisop.github.io/
Other
17 stars 16 forks source link

Improvements to stub file handling #672

Closed wmdietl closed 7 months ago

wmdietl commented 7 months ago

Remove a check whether there are empty stub files and properly handle exceptions from the stubparser. Add a test for this.

Also run compileTestJava in plume-lib tests, which revealed one of the issues.

Fixes #666.