libcofoja-java binary package in Ubuntu Bionic amd64
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.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2017-11-29 08:15:38 UTC | Published | Ubuntu Bionic amd64 | release | universe | java | Optional | 1.3-2 | ||
|
|||||||||
Deleted | Ubuntu Bionic amd64 | proposed | universe | java | Optional | 1.3-2 | |||
|
|||||||||
2017-11-29 08:16:46 UTC | Superseded | Ubuntu Bionic amd64 | release | universe | java | Optional | 1.3-1 | ||
|