Projects / Contracts for Java

Contracts for Java

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.

Tags
Licenses
Operating Systems
Implementation
Screenshot

Project Spotlight

Alaya Webdav Server

A simple WebDAV 1.0 server.

Screenshot

Project Spotlight

TurnKey Django Appliance

A Django appliance that is easy to use and lightweight.