Link to checkers-qual.jar

[GoogleCodeExporter]

I suggest you add a link on 
http://types.cs.washington.edu/checker-framework/eclipse/ to the 
checkers-qual.jar file, perhaps with some discussion of it in the How to use 
Checkers Feature: section.

In addition, and even better, would be to have it be part of the eclipse 
plug-in download, along with some documentation about where to find it to add 
it to a project classpath.

[ I expect the file is part of a downloaded installation of the whole checkers 
framework, but part of the point of a plug-in is not to have to do the separate 
installation.]

Original issue reported on code.google.com by c...@frontiernet.net on 31 Aug 2010 at 6:03

[GoogleCodeExporter]

I am in the process of adding an action that will add the checkers-quals.jar to 
the classpath if it's not already there. That way adding the quals can be done 
with minimal interaction.

Original comment by asumu.ta...@gmail.com on 2 Sep 2010 at 3:18

• Changed state: Started
• Added labels: Type-Enhancement
• Removed labels: Type-Defect

[GoogleCodeExporter]

The command for this has been added and will be part of the new release to 
match the new framework version.

Original comment by asumu.ta...@gmail.com on 26 Sep 2010 at 4:19

• Changed state: Fixed