软件包：libcofoja-java（1.3-4.1）

[ 源代码： cofoja  ]

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.

其他与 libcofoja-java 有关的软件包

• dep: libasm-java (>= 7.0)

  Java bytecode manipulation framework

下载 libcofoja-java

下载可用于所有硬件架构的

硬件架构	软件包大小	安装后大小	文件
all	204.6 kB	236.0 kB	[文件列表]