Bug#741646: ITP: libcofoja-java -- Java API providing annotating code with contracts
Package: wnpp
Severity: wishlist
X-Debbugs-CC: debian-devel@lists.debian.org
--- Please fill out the fields below. ---
Package name: libcofoja-java
Version: 1.1-r150
Upstream Author: 2010-2011 Google, Inc.
2010-2011, 2013 Nhat Minh Lê
2007 Johannes Rieken
URL: https://code.google.com/p/cofoja/
License: LGPL-2.1+
Description: Java API providing annotating code with contracts
Contracts for Java enables annotating code with contracts in the form of
preconditions, postconditions and invariants.
.
These contract annotations are
* easy to write and read,
* and checked at runtime.
Annotating code with contracts helps you:
* design,
* document,
* test, and
* debug
programs.
Reply to: