libcofoja-java binary package in Ubuntu Trusty i386
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
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2013-10-18 14:25:21 UTC | Published | Ubuntu Trusty i386 | release | universe | java | Optional | 1.0~r139-2 | ||
|