[Checkers] Eclipse Plugin (sorry)

Adam Kiezun akiezun at csail.mit.edu
Mon Jun 23 12:12:57 EDT 2008


> - Also, when using eclipse, I prefer using the commented out annotations
> (e.g. /*@Interned*/) and using jsr308_imports flag.  checkers.jar doesn't
> need to be in the path in that case.

this is a good idea, I did not know about this option.

> ::Random bugs::
> - jarFile.getLocation() returns null when jar file is not part of the
> project.
> I needed to replace the jarFile.getLocation() in
> JSR308Worker.getAbsolutePath() to jarFile.getFullPath() to avoid a null
> pointer exception.

this is incorrect because getFullPath returns workspace-relative paths.

./adam



More information about the checkers mailing list