Skip to content
Sections
>> Trisquel >> 软件包 >> aramo >> java >> libcofoja-java
etiona  ] [  nabia  ] [  aramo  ]
[ 源代码: cofoja  ]

软件包: libcofoja-java (1.3-4)

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 203.0 kB234 kB [文件列表]