all options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Source: cofoja  ]

Package: libcofoja-java (1.3-4)

Links for libcofoja-java


Debian Resources:

Download Source Package cofoja:


External Resources:

Similar packages:

Java API for annotating code with contracts

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

Other Packages Related to libcofoja-java

  • depends
  • recommends
  • suggests
  • enhances

Download libcofoja-java

Download for all available architectures
Architecture Package Size Installed Size Files
all 202.9 kB234.0 kB [list of files]