1 project tagged "Java Annotations"

Sort by:

Relevance
Last Update
Creation
Project Name
Popularity
Vitality

Updated 22 Feb 2011 Contracts for Java

P_op	17.94
V_it	28.65

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.