RSS 1 project tagged "Java Annotations"

Download No website Updated 22 Feb 2011 Contracts for Java

Screenshot
Pop 15.72
Vit 33.94

Contracts for Java (Cofoja) adds contract programming support to Java through simple yet powerful annotations: @Requires, @Ensures, @Invariant, and @ThrowEnsures. Contracts are inherited from interfaces and superclasses and can be enabled selectively during development then disabled for release.

Screenshot

Project Spotlight

Lunzip

A decompressor for lzip files.

Screenshot

Project Spotlight

PCBook

A reservation system for PCs.