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.
Badge code
You can use the following badge to inform users of java-cofoja about the latest version available in Guix.
Example HTML:
<a href='https://packages.guix.gnu.org/packages/java-cofoja'><img src='https://packages.guix.gnu.org/packages/java-cofoja/badges/latest-version.svg' alt='Version in GNU Guix'></a>
Example Markdown:
[](https://packages.guix.gnu.org/packages/java-cofoja)
Example Org:
[[https://packages.guix.gnu.org/packages/java-cofoja][https://packages.guix.gnu.org/packages/java-cofoja/badges/latest-version.svg]]