[Checkers] A Java IDE supporting the type annotations checkers framework
mahmood at MIT.EDU
Wed Jul 15 17:41:51 EDT 2009
Great! Thanks for your effort to integrate JSR308 work in the IDE and
benefiting the Java community. I will check out the tool and send you
any comments I have. Also, please feel free to announce your IDE and
its JSR 308 support in jsr308 at lists.csail.mit.edu .
Also, I'm happy to announce that the current jdk 7 beta release b64
(released Monday evening) supports type-annotations as well!
On Jul 15, 2009, at 5:14 PM, Stephan Heiss wrote:
> to: mahmood at MIT.EDU
> hello Mr Mahmood
> I've discovered with pleasure the excellent checkers framework
> and was impressed by its power and quality.
> JRS308 has now been integrated in my opensource Java IDE named tIDE:
> the installation is very easy:
> 1) download the latest checkers zip, unpack it
> 2) specify the unpacked checkers home in tIDE and
> choose which checkers should be passed to the processor.
More information about the checkers