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.

Upload a screenshot

Hint: upload an image here from your clipboard with Ctrl-V

Homepage

https://github.com/nhatminhle/cofoja

Install this software package

If the package is available for the distribution you are currently using on your computer then install the software by clicking on…

Install libcofoja-java