1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41
|
Source: cofoja
Section: java
Priority: optional
Maintainer: Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Uploaders:
Olivier Sallou <osallou@debian.org>,
Andreas Tille <tille@debian.org>,
Diane Trout <diane@ghic.org>
Build-Depends:
ant,
ant-optional,
debhelper (>= 9),
default-jdk,
javahelper (>=0.25),
junit4,
libasm-java (>= 5.0)
Standards-Version: 3.9.8
Vcs-Git: https://anonscm.debian.org/git/pkg-java/libcofoja-java.git
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-java/libcofoja-java.git
Homepage: https://github.com/nhatminhle/cofoja
Package: libcofoja-java
Architecture: all
Depends: ${misc:Depends}, libasm-java (>= 5.0)
Description: 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
programs.
|