1 project tagged "Contract Programming"

Sort by:

Relevance
Last Update
Creation
Project Name
Popularity
Vitality

Updated 22 Feb 2011 Contracts for Java

P_op	17.44
V_it	29.12

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.