contract checker downloads
tIDE
2.72 download... ...) are displayed. Support for the MIT Type Checker Framework (including the JSR308 compiler). Lets you for example define List and ensure this contract at compile time ! Improved: Ant/JUnit/Cobertura integration. Scratch ...
