Debian logoDebian Screenshots >

libcofoja-java

Java API for annotating code with contracts

Description

Contracts for Java is a contract programming framework for Java, which uses annotation processing and bytecode instrumentation to provide run-time checking.

Contracts for Java enables you to annotate your code with contracts in the form of preconditions, postconditions and invariants.

These contract annotations are:
 - easy to write and read
 - checked at runtime
Annotating code with contracts helps you:
 * design,
 * document,
 * test, and
 * debug
programs.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.


Homepage

https://github.com/nhatminhle/cofoja


Statistics

643 other people were interested in this package here. The newest known version of this software is 1.3-4 (Information last updated about 5 hours ago.)