File: control

package info (click to toggle)
cofoja 1.3-4
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 1,064 kB
  • sloc: java: 10,706; xml: 306; sh: 174; makefile: 16
file content (41 lines) | stat: -rw-r--r-- 1,173 bytes parent folder | download
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 (>= 11~),
 default-jdk,
 javahelper,
 junit4,
 libasm-java (>= 7.0)
Standards-Version: 4.2.1
Vcs-Browser: https://salsa.debian.org/java-team/cofoja
Vcs-Git: https://salsa.debian.org/java-team/cofoja.git
Homepage: https://github.com/nhatminhle/cofoja

Package: libcofoja-java
Architecture: all
Depends: ${misc:Depends}, libasm-java (>= 7.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.