[Checkers] A Java IDE supporting the type annotations checkers framework

Mahmood Ali mahmood at MIT.EDU
Wed Jul 15 17:41:51 EDT 2009

Greetings Stephan,

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!

Thanks again,

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:
>   http://tide.olympe-network.com/
> 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.
> regards
> Stephan

More information about the checkers mailing list