[Checkers] Eclipse Plugin (sorry)
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
> 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.
More information about the checkers