java-cofoja

Contracts for Java

Contracts for Java, or Cofoja for short, is a contract programming framework and test tool for Java, which uses annotation processing and bytecode instrumentation to provide run-time checking. (In particular, this is not a static analysis tool.)

Versions: 1.3
Website: https://github.com/nhatminhle/cofoja
Licenses: LGPL 3+
Package source: gnu/packages/java.scm
Builds: See build status
Issues: See known issues

Installation

Install the latest version of java-cofoja as follows:

guix install java-cofoja

Or install a particular version:

guix install java-cofoja@1.3

You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.